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...
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...
Ecore Documentation Generator is a small utility for adding documentation to EMF metamodels (Ecore and Genmodel files) and generating HTML or LaTeX output.
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...
This small plugin is just an entry in the pop-up menu for classes that allow you to see a preview of a Draw2d class while you are editing it.
I saves you a lot of time when you are developping fea...
CommentTemplate is a code generation extension for the Java language. CommentTemplate takes the important features of existing code generation languages, which are not offered by Java itself alread...
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...
GMF-Tooling is back in Juno.
By defining a tooling, graphical and mapping model definition, one can generate a fully functional graphical editor in Eclipse.
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...
Rule Designer is the Eclipse-based development environment of IBM Operational Decision Manager for Developers, for making rule applications that automate the implementation of business policies. De...
IBUPROFEN (Improvement and BUsiness Process Refactoring OF Embedded Noise) is a framework with which to refactor business process models retrieved particularly by reverse engineering from existing ...
The Imixs Report Plugin allows the definition of Workflow Reports. Reports are used to define a dynamic queries from a set of Workitems to be aggregated into a report out from a Workflow System.
A...
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...
Information System Designer provides a set of tools to help you in the design and the development of applications. It brings a complete development environment based on and integrated to Eclipse.
...
j2og (formerly known as JavaToOmniGrafle) adds a new menu entry to the Eclipse package explorer, so that you can automatically create class diagrams from your existing Java sources or from EMF ecor...
Jar2UML is an Eclipse plugin that imports and converts Java jar files into a UML model in the workspace. It is used to reverse engineer Java API class libraries for PlatformKit's Java platform ...
JAS-mine simulation project plugin for Eclipse IDE.
This plugin allows the easy creation of a new JAS-mine simulation project within the Eclipse IDE. New projects containing a simple ...
The JavaDude Annotations are Java 5/6 annotations and annotation processors that generate some of the tedious code you need in your day-to-day programming. Using these annotations, you can generate...
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...
JetSet is a set of Eclipse plugins for the development of model translation tools and code generators. The editor adapts itself to provided source and (optionally) target meta models, making it ver...
Developers can use the template(JSP-like) to generate any kind of language(Java, JavaScript, Python, PHP, etc.). Any kind of framework(JavaEE, springboot/springCloud/springMVC，...
The user may easily create a diagram (and the corresponding business model along with it) as part of any JPA-enabled project and may view and edit the model through this diagram.
The power of th...
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...
Swagger-OpenAPI Zen In Your Eclipse IDE
KaiZen OpenAPI Editor is RepreZen's open source, Eclipse-based editor for the industry-standard OpenAPI Specification language, based on Swagger. &nbs...
