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...
ABAP Task Scanner is an Open Source Eclipse plugin which provides the possibility to scan for TODOs, FIXMEs and XXXs in the source code of ABAP Objects such as Classes, Interfaces, P...
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 ...
Programmers typically rely heavily on the clipboard – frequently, a single clipboard isn’t enough. Some desktop systems, like KDE, provide tools to support multiple clipboards, allowing the user to...
WolfDBManager2 is an Eclipse Rich Client Platform Application for SQL Developer.
Features (WolfDBManager2)
- Control Multiple Connection
- Support Mongo-db
+- Select, Insert, Update, ...
Specify eclipse formatting rules and plugin settings only once in your Maven project definition and have everybody on your team use the same settings. No more code formatting conflicts or half back...
COLA Tests m2e connector - No longer required (see details)
JUnit + BDD = COLA Tests
COLA Tests is a BDD framework built on top of JUnit.
It is easy to use, setup and above all, DOES NOT r...
2-plan Desktop is a topnotch project management software that addresses the process, people and product components of projects. Its free core system and free plug-ins have no time-limits, no usage-...
Next ABAP extension for ADT Tools. Split from ABAP Favorites in order to keep clean and to keep the core functionality of Favorites alone, giving the users a choice if they want to install this fea...
A small plugin to create ABAP favorites list for transactions and urls. Editing of entries now available.
It contains two views:
Favorites
Favorites Dev Objects
Favorites ...
ABAP Quick Fix plugin for ADT
Installation from Marketplace https://marketplace.eclipse.org/content/abap-quick-fix
Direct installation from http://abapblog.com/eclipse/plugin/ABAPFa...
ABAP Search and Analysis Tools is an Open Source plugin which provides tools for searching and analyzing ABAP objects.
The main purpose of the plugin is to provide advanced search and analysis too...
ABAP Tags is an Open Source Plugin which provides tools for adding arbitrary tags to ADT objects.
The main features of this plugin are:
View to manage ABAP Tags
Wizard to assign Tag...
The AccessModifer Plug-in for Eclipse allows the user to change the visibility (public, protected, default, private) and other modifiers (final, static, synchronized) of Java classes, interfaces, e...
An Eclipse plugin which generates Javadoc for getters and setters of a Java class. The generated Javadocs are based on those of fields corresponding to the getters or setters.
How to use
Open...
This plugin has been tested to work with AccuRev 6.0 or higher. This plugin is free to use with our AccuRev customers and evaluators. It is fully supported and documented.
You can fi...
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...
ADA Plugin lets you generate single pages and module template structure for the ADA Platform by Lynx Srl.
Once installed, select File -> New -> Other -> ADA Wizards
From there, select one of ...
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...
AgileReview provides you with an easy possibility to do code reviews in your favorite IDE. Code reviews are a powerful meaning for quality assurance, but switching between spreadsheets and code is ...
Alibaba Cloud Toolkit is a plugin for IDEs such as Eclipse or IntelliJ IDEA. Help developers more efficiently develop, test, diagnose, and deploy applications that are suitable for cloud operations...
The AltBridge is a plugin for developing android applications. This is meant to run along with the ADT plugin. The AltBridge includes a library which was built from Google/MIT's Java Bridge, which ...
Amazon S3 Browser now integrated with Content Management Tools.
The Amazon S3 Browser is plug-in for the Eclipse IDE that makes it easier for Amazon S3 Users to manage files in Amazon S3 storage...
Ambient is a simplified view for your Eclipse workbench. It is a set of tools that load as a plugin and has some great features for the beginning computer scientist:
Snarfer allows for eas...
Plugins to make Amdatu development easier. Currently it contains extra templates for Bndtools and support for Amdatu Bootstrap. The Amdatu Bootstrap support includes auto-importing projects that ar...
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...
