Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
PlantUml allows to quickly create some UML diagram using a simple textual description language.
StarUML is an open source project to develop fast, flexible, extensible, featureful, and freely-available UML/MDA platform running on Win32 platform. The goal is a compelling replacement of commercial UML tools such as RationalRose, Together and so on.
Violet is a UML editor with these benefits: Very easy to learn and use. Draws nice-looking diagrams. Completely free. Cross-platform. Violet is intended for developers, students, teachers, and authors who need to produce simple UML diagrams quickly. Want to contribute ? Source code is hosted on github : https://github.com/violetumleditor/violetumleditor
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
NClass is a free tool to easily create UML class diagrams with full C# and Java language support.
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1).
Development framework including code generator and UML ex/import
A component based programming framework. This project is aimed to support various target frameworks. A wxWidgets based GUI application is the major sample which also provides rapid database GUI design with UML import and export (db reverse engineering).
EiffelStudio is an IDE for the Eiffel language (ECMA-367, ISO/IEC 25436). It has: an Eiffel compiler, an Eiffel GUI editor, a refactoring tool, Eiffel analysis tools and Eiffel libraries. Eiffel applies O-O principles and Design by Contract for quality. http://www.eiffel.com
A fast and reliable tool, written in Java 6, for generating professional UML sequence diagrams from text. Supports actors, con-/destructors, threads, broadcasts, notes, and fragments. Can serve as a Javadoc taglet. Exports PDF, (E)PS, SVG, PNG, ... The source code is hosted at http://github.com/sdedit/sdedit
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
A free cross-platform editor for the DRAKON visual language.
Converts XML to CSV using a spreadsheet app
An MS Excel VBA macro converts XML to CSV. It demonstrates this capability by converting an XML-based Continuity of Care Document (CCD) into a slim Comma Separated Value (CSV) file.
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
Code 2 UML is a tool for constructing UML class diagrams from java .class and .jar files. Requirements: JRE 1.6
Modeling tool supporting UML, BPMN and other standards
Modelio is an open source modeling environment tool providing support for the latest standards (UML 2, BPMN 2, ...). It can be extended by adding modules which add new functionalities. A large set of modules (free and open source) supporting code management (generation/reverse), modeling standards (TOGAF, SysML, SoaML, ...), document generation, ... is available from the Modelio Store (http://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our forum: http://www.modelio.org/forum/index.html.
Java 2D & 3D visual entity relationship design & modeling (ERD,SQL) for Oracle,MSSQL,Postgres,MySQL,...,Database change&dictionary management, Swing Data Binding, Apache FOP Renderer for dot matrix printers,Sparx Enterprise Architect Reports + more
Aperte Workflow - complete Open Source BPM solution
Aperte Workflow - complete Open Source BPM solution Aperte Workflow is a compilation of well-known, stable and mature frameworks into a complete BPM solution suite. Usage of OSGi stack brings superior plugin capabilities. The solution suite comes ready enterprise features such as: portal integration, CMIS support, embedded ESB and 100% web-based, comprehensive process modeler.
Graph transformation, model transformation, object-oriented verification, behavioural semantics
An editor for the specification of Graphol ontologies
Eddy is a graphical editor for the specification and visualization of Graphol ontologies. Eddy features a design environment specifically thought out for generating Graphol ontologies through ad-hoc functionalities. Drawing features allow designers to comfortably edit ontologies in a central viewport area, while two lateral docking areas contains specifically-tailored widgets for editing, navigating and inspecting open diagrams. Eddy is equipped with design-time syntax validation functionalities which prevents ontology designers from constructing invalid Graphol expressions: feedback on the validity of the expression is given through color coding diagram elements. Eddy also supports the standard profiles of OWL 2, i.e. OWL 2 QL, OWL 2 RL, and OWL 2 EL (to appear). Moreover, to support interaction with third-party tools such as OWL 2 reasoners and editors like Protégé, Eddy is able to export the produced Graphol ontology into an OWL 2 ontology.
MathMod is a mathematical modeling software
MathMod is a mathematical modeling software that visualize and animate implicit and parametric surfaces. MathMod supports: 3D and 4D plotting and animation, OBJ output file format, Textue and pigmentation support, Noise and Turbulence effects support,Large set of scripted examples. Changelog for MathMod-7.0 (11/02/2018) 1) Add support for complex scripts involving more than 100 functions declarations (previous versions were practically limited to less than 12 functions declarations). 2) Add six new scripts to generate plain-weave and wireframe patterns over any parametric surface (added at the bottom of the parametric models list (Sinus/Catenoid/Knots)_Plain_weave and wireframe_(sinus/shell/knots) ) . 3) Add new function CmpId(n) to return the index of the component under calculation (see "Wireframe_Shell" script). 4) Code cleaning and optimization. For more informations, please visit our bug tracker system on SourceForge: https://sourceforge.net/p/mathmod/tickets/milestone/
The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/
Syntax tree editor for rapid annotation of existing text
Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
Gaphor is a UML modeling environment written in Python. Gaphor will be small and very extensible. The repository is located at http://github.com/amolenaar/gaphor.