Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical elements like bu...
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...
A uml profile and a set of acceleo code generators to model smart contracts in uml and generate solidity code. Usable with the Papyrus UML modeler for eclipse.
Generates
Solidity
Jav...
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...
Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generation, model-to-model transformation and model validation, that...
The Whole Platform is a technology for engineering the production of software. We think that programming is an activity concerning the development of domain languages; so, we provide a Language Wor...
Papyrus BPMN, Business Process Modelling Notation, is a project of the Eclipse Papyrus’s galaxy. BPMN application is a Papyrus DSML implementing the BPMN OMG standard,.
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...
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...
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...
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...
Annotated Functional Decomposition Tool enables functional decomposition of a problem using AFD as a text-based language, compile code written in AFD language and generates corresponding&...
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...
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 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...
BPM inspire is a complete BPM suite comprising modelling, automation, graphical user interfaces, monitoring and controlling functions for use in automating business processes. BPM inspire helps red...
<P><STRONG>BPMN Composer</STRONG> is a high extensible and intuitive graphic tools for BPMN modeling. It implements:
<UL><LI>Full object model of the specification &...
BProVe a novel verification framework for BPMN 2.0. The analysis is based on a formal operational semantics, implemented using MAUDE, defined for the BPMN 2.0 modelling language, and is provided as...
Butterflyzer is not just a new software product, but an entirely new category of software. We're calling it a "Content Intelligence Environment". Butterflyzer is an integrated desktop application f...
