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...
This Eclipse Plugin supports editing of Madura Rules and Madura Workflow files.
The Madura Suite makes use of rules and workflow definitions. Unlike similar products it keeps these definitions in ...
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...
UCDetector (Unnecessary Code Detector) is a eclipse PlugIn tool to find unnecessary (dead) public java code. For example public classes, methods or fields which have no references.
The Intents Registry Eclipse Plug-in allows developers to browse an online intents registry provided by OpenIntents and insert a code block corresponding to the selected intents directly into their...
Snipmatch is a snippet completion engine that gets its snippets directly from a remote code snippet repository hosted at eclipse.org. To search for snippets simply press Ctrl + Alt + Space inside t...
Notch is a plugin for Eclipse that extends the IDE with groovy scripts.
It is a productivity tool that enables you to assign hotkeys to scripts that automatically generate code or execute comman...
Snip2Code offers a solution to store and publish software snippets and maintain such snippets always up to date. This solutions appeals to the needs of software companies who want to provide contin...
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...
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:
...
Capella is a Comprehensive, extensible and field-proven MBSE solution to successfully design systems architecture.
It provides provides methodological guidance, intuitive model editing, and viewin...
Cigital SecureAssist is a plugin for Eclipse which points out common security vulnerabilities as the developer is coding. It reduces risk by delivering actionable guidance in context based on Cigi...
Available as both a complete product installation or as a plug-in for existing Eclipse installations Code Composer Studio™ makes embedded software development easy. This comprehensive tools suite s...
Easy source code review without leaving your Eclipse perspective!
Join the thousands of developers worldwide who perform more effective code reviews in 75% less time without leaving Eclipse! Code...
CodeTogether let others code with you from your IDE to their browser. Even edit multiple files at once! Highly optimized for coding with participants connecting in from any modern browser; enjoy a ...
Codewind for Eclipse
Codewind for Eclipse provides tools to help build cloud-native, containerized applications from Eclipse, regardless of which runtime or language you use. Rapidly create an a...
The Codewind OpenAPI Tools for Eclipse provides wizards that invoke the OpenAPI Generator to create API clients, server stubs, and HTML documentation from OpenAPI Specifications. The tools are inte...
Dart Designer is a graphical tool for Dart Developers.
It allows you to specify your Dart application directly from Eclipse thanks to several kinds of diagrams (Class, Explorer, Library, Module,...
This project is intended to help developers and show how they can work with their IDE more effectively. Developer Statistics is an incubator project of Eclipse Code Recommenders that tracks how dev...
Eclipse Tools to ease the development of Dropwizard applications. The following tools are included and described in more detail below:
Dropwizard Application Launcher
YAML Editor
Dropw...
ARM DS-5™ Professional is the reference software development tool suite for ARM Powered® platforms.
It is the tool-chain of choice for software developers who want to fully realize the benefits ...
EASE is a scripting environment for Eclipse.
It allows to create, maintain and execute script code in the context of the running Eclipse instance. Therefore such scripts may manipulate and exten...
High performance software developer environments in the cloud. Che provides:
A cloud IDE
A workspace server with REST APIs
Plug-ins
Use your browser to program on any machine in any langua...
Eclipse Code Recommenders assists Java developers in learning how to use and extend new APIs by leveraging the information hidden in the source code of existing applications and integrating the gai...
Macro Record and Playback support for Eclipse editors (currently in Eclipse incubation, but aimed at being integrated into Eclipse itself).
Current features;
Action for toggle record and p...
The Eclipse Marketplace Client is a rich client solution for installing solutions listed on Eclipse Marketplace directly from an Eclipse Installation.
The Eclipse community has hundreds, if not ...
