ECLiPSe Constraint Logic Programming System
Syntax tree editor for rapid annotation of existing text
The Umple Model-Oriented Programming Technology
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
The wCMF web application framework
Modeling tool supporting UML, BPMN and other standards
CAM XML Editor for XML+JSON+Hibernate+SQL Open-XDX sponsored by Oracle
Imixs Workflow - the open source business process management
Combinatorial Interaction Testing Laboratory
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
A Formal Verification Environment for UML Activity Diagrams
An Eclipse plugin that generates source-code, from a Java based model