ftsrg / gammaLinks
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
Sorting:
- Server implementation for the Sprotty diagramming framework☆24Updated 6 months ago
- Eclipse Modeling Framework for C++☆45Updated 4 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆181Updated 4 years ago
- Open Source AADL2 Tool Environment☆44Updated this week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆23Updated 2 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated last year
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- An example Xtext DSL in Theia with Sprotty visualisation☆73Updated 5 years ago
- The Melange Language Workbench☆29Updated last year
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- ☆12Updated 3 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- A .NET implementation of the OMG SysML2 specification☆19Updated 3 months ago
- ☆44Updated last year
- Web-based Generic Modeling Environment☆165Updated 4 months ago
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆100Updated this week
- This add-on allows importing a set of requirements from a ReqIF file☆20Updated 3 weeks ago
- The M2Doc technology enables the generation of Office Open XML documents from models.☆42Updated 3 weeks ago
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆32Updated 4 years ago
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- Some lecture notes of the research group☆14Updated 3 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Create docker image for running SysMLv2 with Jupyter☆30Updated 7 months ago
- Support for the Eclipse Modeling Framework (EMF) in Eclipse Che☆15Updated 7 years ago
- ☆27Updated 4 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated last week
- ☆11Updated 7 years ago