#

model-based-development

Here are 2 public repositories matching this topic...

juli1 / aadl-book

Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book

aadl model-based-development model-based-design

Updated Jul 9, 2017
Java

contractautomataproject / CARE

A runtime environment for implementing applications specified via Contract Automata

java automata contracts model-based-development

Updated Jun 19, 2025
Java

Improve this page

Add a description, image, and links to the model-based-development topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the model-based-development topic, visit your repo's landing page and select "manage topics."