ftsrg / gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
☆31Updated this week
Alternatives and similar repositories for gamma:
Users that are interested in gamma are comparing it to the libraries listed below
- Eclipse Modeling Framework for C++☆46Updated 3 years ago
- An efficient graph solver for generating well-formed models☆25Updated 2 years ago
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆31Updated 3 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆178Updated 4 years ago
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…☆129Updated this week
- ☆11Updated 7 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆24Updated this week
- Python for Capella☆55Updated this week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- This add-on allows importing a set of requirements from a ReqIF file☆19Updated 5 months ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- A .NET implementation of the OMG SysML2 specification☆16Updated 3 weeks ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆140Updated this week
- The Melange Language Workbench☆29Updated last year
- Open Source AADL2 Tool Environment☆41Updated 3 months ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆170Updated last month
- STPA Viewpoint for Capella☆21Updated 4 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆103Updated last year
- SysIDE provides SysML v2 language support in VS Code☆31Updated last week
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- Recipes for using the SysML v2 API☆36Updated 2 months ago
- A UML web modeling tool based on GLSP, distributed via a VS Code extension.☆39Updated this week
- Create docker image for running SysMLv2 with Jupyter☆29Updated 3 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆22Updated 8 years ago
- Web-based Generic Modeling Environment☆161Updated 3 weeks ago
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated 4 months ago
- Ontological Modeling Language (OML)☆25Updated 3 weeks ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 2 years ago