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...
Feb 2013: BPF v0.8 with Design Pattern Reference is now available!
Solution BluePrint (SBP) is Zensar's initiative to incorporate engineering practices in software development. Zensar's approach...
Leveraging Requirements Engineering (RE) and Model-Based Testing (MBT) practices is challenging. On one hand, use case specifications may lack information that is key to automated test case generat...
The Teamscale Integration for Eclipse allows for seamless browsing of quality defects found by the Teamscale software‐quality analysis server. Teamscale analyzes your source code incrementally with...
IBUPROFEN may be employed by companies who want to improve the understandability and modifiability of their business process models when these were obtained by reverse engineering. The main implica...
The Wetator Test Editor (WTE) offers a convenient way of editing Wetator test files in XML format (file endings *.wet, *.xml). Wetator is a tool for automatic Graphical User Interface (GUI) tests ...
This feature enables CDT debugger to connect to iSystem emulators and perform hardware debugging. The following functionality is implemented:
- breakpoints
- stepping
- memory view
- registers ...
JHipster IDE provides editing support of JHipster Domain Language (JDL) files for pupular IDEs and editors such as Eclipse and Visual Studio Code.
The following features are available...
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...
Prolog Development Tools (ProDT) is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, giving the developer a single environment...
Smarter Mocking: Eclipse IDE with Service Virtualization
When developing apps, developers want to have all the dependencies, like virtual services, to be available/accessible from within their&n...
A powerful development library that allows easy integration of any 3-D Secure 2.2, 2.1 or 1.0.2 program, including Visa 3-D Secure, American Express SafeKey, Discover ProtectBuy, MasterCard Identif...
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...
ABAP Code Insight is an Open Source Plugin which enabled inline code information for ABAP code in Eclipse. The only prerequisite to use this plugin for developing with ABAP is an ABAP Developm...
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...
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...
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 ...
The AEM Developer Tools for Eclipse is a Eclipse plugin based on the Eclipse plugin for Apache Sling released under the Apache License 2.
Instructions: http://docs.adobe.com/docs/en/dev-tools...
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...
Anyone inheriting someone else’s Java code will be familiar with the problem of understanding how it’s been put together, how well structured it is and how best to take it forwards. Stepping throug...
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 ...
