This project provides a set of tools for the model checker NuSMV.
Following tools are contained, or will be contained in the near future:
Two metamodels based on the Eclipse Modeling Framewor...
The pxDoc Sirius integration provides a ready-to-use integration of pxDoc for Eclipse Sirius.
INSTALLATION - Before installing the pxDoc-Sirius Integration, please first install:
Xtext (v2...
Structure101 Workspace lets you chase detailed code dependencies though a visual architecture that you can specify and share with the team. Updates as you edit code. Shows cycles. Kind of like Goog...
The Javadoc As UML plugin provides a new Eclipse view, which analyzes the active editor source code towards existing class references within Javadoc comments or references within the body of a clas...
The Visual Paradigm Eclipse plug-in provides Eclipse users with a unified and seamless modeling environment for creating UML, SysML, BPMN, ArchiMate, DFD, ERD, etc. Being integrated with Eclipse, V...
ModelBus is a model-driven tool integration framework which allows you to build a seamlessly integrated tool environment for your system engineering process.
Are you developing Java applications that are taking forever to complete? Have you considered implementing web based UIs using React along with RESTful web services, but the time to code is overwhe...
Are you looking for developer tools that supports data anonymizing, database sub-setting, creation of synthetic data, GDPR erasure and subject access requests? g9 Anonymizer provides a fully progra...
Reverse engineer your database structure into java JPA classes. Create Java classes, or an Xcore or Ecore representation of your exisiting database. g9 Database Model Import is a free g9 Eclipse pl...
Context Mapper provides a DSL to create Context Maps based on strategic Domain-driven Design (DDD). DDD with its Bounded Contexts offers an approach for decomposing a domain or system into multiple...
DBeaver is free universal SQL client/database tool for developers and database administrators. It can work with any database server which has JDBC or ODBC driver. It supports pluggable extensions.
...
Ecore Documentation Generator is a small utility for adding documentation to EMF metamodels (Ecore and Genmodel files) and generating HTML or LaTeX output.
UML Lab provides truly agile modeling and coding with Eclipse. The tool integrates UML modeling with code generation and template-based reverse and round-trip engineering.
The EMF Client Platform is a framework for building EMF-based client applications. The goal is to provide a one-click application based on a given EMF model. No additional components have to be dev...
EMF Forms provides a new way of developing form-based UIs. Instead of manually coding form-based layouts, it allows you to describe the UI with a simple model instead of with code. The approach all...
HCL RTist is a modeling and development environment for creating stateful event-driven realtime applications in C++. Such applications are often embedded and/or IoT applications. HCL RTist supports...
The VIATRA framework supports the development of model transformations with specific focus on event-driven, reactive transformations. Building upon the incremental query support of the EMF-IncQuery...
Faktor-IPS is a MDSD tool for the insurance industry. It provides a domain language to model insurance contracts and products. Based on Eclipse it provides an integration platform for both develope...
Papyrus Software Designer is a project of the Eclipse Papyrus’s galaxy. It enables code generation and reverse engineering for C++ (C soon to come) and Java. Code generation from state-charts...
EMFStore is a model repository for the Eclipse Modeling Framework (EMF) and features collaborative editing and versioning of models. Existing versioning systems such as git or SVN are focused on te...
The EMF Transformation Virtual Machine (EMFTVM) is a runtime engine for the ATL Transformation Language (ATL). Apart from mapping a set of read-only input models to a set of write-only output model...
Imixs-BPMN is a free modelling tool which takes the full advantage of all the capabilities from the BPMN 2.0 standard and complements them with the requirements to a workflow management system. Imi...
eTrice provides an implementation of the ROOM modeling language together with editors, code generators for Java code and exemplary target middleware (soon a C generator and middleware will follow)....
MetaModelAgent for open source Papyrus , IBM RSAD/RTE and HCL RTist accelerates the implementation and usage of UML-based Domain-specific modeling languages (DSML) as well as providing static mode...
Sirius is an Eclipse project (http://www.eclipse.org/sirius) that allows you to easily create your own graphical modeling tools. It leverages the Eclipse modeling technologies, including EMF for th...
