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...
OpenMake Meister® advances DevOps by providing a framework from which both developers and operation teams can communicate, manage, tweak and understand how software is compiled, linked and archived...
Automatically generates build-scripts for the Eclipse CDT managed build system from CMake scripts.Stores your cmake commandline options with the eclipse project.
The IBM® WebSphere® Application Server Migration Toolkit is a suite of tools and knowledge collections that enables your organization to quickly and cost-effectively migrate to Liberty and ...
Nodeclipse SDK (Standard Development Toolkit) for Windows (x64) is published on SourceForge.
It is based on Eclipse Kepler Standard
and includes Nodeclipse 0.4 and other plugins for Nodeclipse de...
Testful is an evolutionary testing framework for Java programs.
It is based on the idea of search-based testing, working both at class and method level. The former puts objects in useful states,...
A fork of the QuickRex Plugin from Bastian Bergdorf at SourceForge (http://sourceforge.net/projects/quickrex/).
QuickREx is a regular-expression plugin for Eclipse. It features on-the-fly evalut...
The IBM® WebSphere® Application Server Migration Toolkit is a suite of tools and knowledge collections that enables your organization to quickly and cost-effectively migrate to Liberty and ...
The IBM® WebSphere® Application Server Migration Toolkit is a suite of tools and knowledge collections that enables your organization to quickly and cost-effectively migrate to WAS Liberty ...
The IBM® WebSphere Application Server Migration Toolkit helps you move traditional WebSphere Application Server applications to Liberty, which can be running inside or outside of the cloud. The...
The Azure Toolkit for Eclipse provides functionality that allow you to easily create, develop, configure, test, and deploy lightweight, highly available and scalable Java web apps and HDInsigh...
m2e-apt aims at providing automatic Annotation Processing configuration in Eclipse, based on your project's pom.xml and its classpath dependencies (Requires Java >= 1.6).
Due to some rogu...
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...
Code Dx (https://codedx.com/) is an application vulnerability correlation and management system. This Eclipse plugin provides an integration with Code Dx.
An Eclipse IDE for building and deploying Java EE, OSGi and Web 2.0 applications to WebSphere Application Server V8.5x. For more information about installing and downloading the tools, including ar...
An Eclipse 4.x IDE for building and deploying Java EE, OSGi and Web 2.0 applications to WebSphere Application Server traditional V9.x with Java EE 7. For more information about installing and downl...
*Beta* An Eclipse 4.x IDE for building and deploying Java EE, OSGi and Web 2.0 applications to WebSphere Application Server Liberty v9 Beta with Java EE 7. For more information about installing and...
An Eclipse IDE for building and deploying Java EE, OSGi and Web 2.0 applications to Open Liberty and WebSphere Application Server Liberty. For more information about installing and downloading the ...
JRebel is a productivity tool that allows developers to reload code changes instantly. It skips the rebuild, restart, and redeploy cycle common in Java development. JRebel enables developers to get...
SQL DAL Maker is a generator of DTO and DAO classes to access relational databases. Target programming languages: PHP, Java, C++, Python, Ruby. To generate the class, you declare it in XML meta-pro...
The Eclipse Embedded CDT(formerly GNU MCU/ARM Eclipse) is an open source project that includes a family of Eclipse plug-ins and tools for multi-platform embedded ARM & RISC-V development, ...
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.
...
Mograsim is a modular, graphical simulator for teaching microprogramming, ISAs and circuit logic in a way that allows for a smooth transition between those levels.
The aim is to give students a ...
Eclipse plugin to format using Prettier. Prettier is an opinionated code formatter. It enforces a consistent style by parsing your code and re-printing it with its own rules that take the maximum l...
JDeodorant is an Eclipse plug-in that identifies design problems in software, known as bad smells, and resolves them by applying appropriate refactorings.
JDeodorant employs a variety of novel m...
(For the standalone Remain API Studio product, you can install it from our download site! )
OpenAPI editor by Remain API Studio. A rich OpenAPI editor and a full OAS3 specs-compl...
