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...
Contrast Security is the world’s leading provider of security technology that enables software to become self-protecting software. Contrast's patented deep security instrumentation is the...
OnySky Sync allows you to send file to OneSky platform for translation and download translated files back into your project. Currently, only Android Project is supported.
Features:
-Send Androi...
iSphere is an open source plug-in for WDSCi 7.0 and RDi 8.0+. It delivers high quality extensions for WDSC, RDP and RDi to further improve developer productivity.
IBM's current Eclipse based...
Open source libraries are very popular in Java world. Nowadays Java/J2EE/Android developers often work with Java-based projects which using a lot of open source Java libraries.
One issue with u...
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 ...
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...
Provides tools for Android development. Andmore is being developed under the Eclipse Foundation and is the successor of the Google ADT plugin and the Motorola MOTODEV plugin.
Andmore includes:
...
