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...
EMF Compare brings model comparison to the EMF framework, this tool provides generic support for any kind of metamodel in order to compare and merge models. The objectives of this component are to ...
The ArchiMate add-in is an open-source initiative founded by Adocus. The add-in enables you to model enterprise architecture models based upon the well recognized and popular ArchiMate® 2.1 notatio...
The "Telosys" plugin is designed to generated any kind of code (Java, PHP, JavaScript, Python, Golang, Scala, etc) for any kind of framework (Spring, AngularJS, JPA, CodeIgniter, etc...)
...
Obeo SmartEA is an Enterprise Architecture solution that allows you to easily and efficiently map and design your IT architecture (business, services, applications, servers, ...) and publish your w...
A library to convert JSON to Java Model in Eclipse IDE.
If you find difficulty in installing through marketplace,
please try install through http://prashanthrao.in/project/json2java/downloa...
Workshop JBean is a powerful database designer and JPA/Hibernate/ORM designer base on Model-driven architecture which supports many Cross Language and database and many advanced features while full...
Mia-Studio is a solution to create your own model-to-text or model-to-model transformations. Model-to-text transformations are created using templates based on a very simple syntax and rules writte...
AcceCite provides a graphical solution to design accessible e-services.
AcceCite complies with the W3C WAI standard (WCAG AA level) including W3C CSS and XHTML standards.
AcceCite is part of ...
Acceleo is a pragmatic implementation of the Object Management Group (OMG) MOF Model to Text Language (MTL) standard. You do not need to be an expert to start using the plug-ins and create your fir...
Actifsource is a code generator plug-in for the Eclipse IDE. Code generation is driven by models which are created according to user-defined meta-models. UML-like graphic editor assists modeling. G...
Awarded Best RCP Application in the Eclipse Conference awards!
Download it here http://www.justinmind.com/downloads/wireframe_tool . Define web and mobile applications with Rich Interactive...
Envision - Agile Pseudocode Development Tool (APDT) speeds up planning and application modeling. The tool helps decrease the gap between developers and non-technical guys on a project, so you can m...
The aim of that plugin is to provide a first class Eclipse integration for the Alloy 4 specification language and tool developed at the MIT (http://alloy.mit.edu/). The release 0.3.x is based on Xt...
AMPLDev is an Integrated Development Environment (IDE) for AMPL and SAMPL based on the Eclipse infrastructure.
It has,
A smart editor with context-sensitive syntax highlighting.
Effi...
Contributes an ANTLR V4 grammar editor and builder to the Eclipse platform.
Features
Antlr Editor and Outline View – full syntax-directed editor
Grammar Formatter
Antlr elements...
AppGen eclipse plugin generate full java web application source codes based on Spring and iBatis. You can set the XML configuration mapping file from a database schema quickly by conventions, and c...
It support eclipse 3.2,3.3,3.4,3.5.
<br>
The following issues lists the features:<br>
<ul>
<li>Database Modeling(Table,View,Procedure and other models are
supported,t...
The Archi® modelling tool is targeted toward all levels of Enterprise Architects and Modellers. It provides a low cost to entry solution to users who may be making their first steps in the Arch...
The ArchiMate add-in is an open-source initiative founded by Adocus. The add-in enables you to model enterprise architecture models based upon the well recognized and popular ArchiMate® 2.1 notatio...
ATL (ATL Transformation Language) is a model transformation language and toolkit. In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of s...
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...
This plug in provides a diagram editor for modeling a process of model transformations in ATL. It describes the structure of a transformation flow. The plug in has also the ability to execute the t...
BLU AGE Classic automatically extracts the business logic of complex and large legacy applications and accelerates their modernization into the target architecture of your choice.
BLU AGE FORWARD module is the first Integrated Modeling Environment to build and debug your models and generate an application. The applications developed with Blu Age Forward are directly generate...
BLU AGE Legacy Modernization module automatically extracts the business logic of complex and large legacy applications and accelerates their modernization into the target architecture of your choic...
The Bonita platform is designed for multidisciplinary development teams to create and continuously improve enterprise-grade living applications.
It's a low-code digital business automation platfor...
