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...
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...
Plugin provides both command line and Eclipse UI for static package, plugin and feature dependencies analysis (the dependencies are read from MANIFEST.MF and feature.xml files).
The project is s...
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...
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-...
The M2Doc project provides Word document generation (.docx files) based on a WYSIWYG template and EMF models.
Visual Templates: Create and edit WYSIWYG templates directly from ...
HP-UX Development Environment for Eclipse (version 5.0.0), previously called as HP C/C++ Remote Developer Plug-in, allows you to develop C/C++ code on HP-UX system using the Eclipse Integrated Deve...
The Atlassian Connector for Eclipse allows you to manage JIRA issues and Bamboo builds without leaving the IDE. It is built on top of the Mylyn task interface.
More information at https://bitbu...
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...
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,...
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...
The Eclipse Codewind tool for OpenAPI provides wizards that invoke the OpenAPI Generator to create API clients, server stubs, and HTML documentation from OpenAPI Specifications. The tools are integ...
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 ...
Supplemental Custom Widgets for SWT (and more)
Nebula is a place where different Eclipse-Projects and Independent developers collaborate on building Custom SWT widgets and reuseable UI-Component...
