Main repository for developing the 1.x versions of GAMA

The ThingML modelling language

Home of the Language Ecosystem for Modeling Microservice Architecture (LEMMA)

ML-Quadrat (ML2) is a Model-Driven Software Engineering (MDSE) tool with full code generation and out-of-the-box Machine Learning (ML) support at the modeling layer for creating smart services for the Internet of Things (IoT) and Cyber-Physical Systems (CPS).

SysADL Studio implements an Eclipse plug-in for SysADL Language, allowing both textual and graphical description, also supporting model simulation.

Modelio Extension for Camel Modeling. Camel Designer Module is conceived to help in designing Cloud Application Modelling and Execution Language (CAMEL) ( camel-dsl.org )

Domain-driven Microservice Modeling (outdated). Find us here now: https://github.com/SeelabFhdo/lemma.

A generic bounded model checker.

a formal modeling tool that helps build reliable models and codes

Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).

API for developing SysML models in the Java programming language - for more precise MBSE

Example SysMLinJava models