Modeling Language
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages,...
Platforms: Windows, Mac, *nix, Java, BSD Solaris
License: Freeware | Download (53): Java Modeling Language 5.6 RC2 Download |
The APMonitor Modeling Language is optimization software for differential and algebraic equations. It is coupled with large-scale nonlinear programming solvers for data reconciliation, real-time optimization, dynamic simulation, and nonlinear predictive control. It is available as a free web...
Platforms: Windows
License: Freeware | Size: 225 KB | Download (46): APMonitor Modeling Language Download |
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 9.41 MB | Download (49): Java Modeling Language (JML) Download |
RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.
Platforms: *nix
License: Freeware | Size: 491.52 KB | Download (41): realpaver Download |
Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks.Project web page: http://www.littleb.org
Platforms: Windows, Mac, Linux
License: Freeware | Size: 781.8 KB | Download (50): the little b modular modeling language Download |
This Python package defines a Pythonic modeling language for math program
Platforms: *nix
License: Freeware | Size: 399.36 KB | Download (32): coopr.pyomo Download |
JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules.
The language combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification...
Platforms: Windows
License: Freeware | Download (47): JML Download |
Visual Paradigm for the Unified Modeling Language (VP-UML) is a UML CASE suite with teamwork capability. The suite of tools are designed for a wide range of users, including Software Engineers, System Analysts, Business Analysts, System Architects alike, who are interested in building large...
Platforms: Windows, Mac, *nix
License: Freeware | Size: 10 KB | Download (391): Visual Paradigm for UML Download |
A software design tool supports Unified Modeling Language (UML), SysML and database design diagram. Visual Paradigm for UML gives system analysts all the tools needed to capture and organize requirements. System analysts can write use case step in detail by flow of event editor and capture terms...
Platforms: Mac
License: Freeware | Size: 164.3 MB | Download (51): Visual Paradigm for UML (Enterprise Edition) for Mac OS Download |
The Modelica Standard Library is an open source library of models for the Modelica modeling language. Collaboration between modelers is facilitated by having open type, connector and model definitions from various engineering domains.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 1.41 MB | Download (49): Modelica Standard Library Download |
Developer tools for EXPRESS (ISO 10303-11), an information modeling language. The core of this project is a Java Express parser using the ANTLR parser generator. This project was initiated by the National Institute of Standards and Technology.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 2.43 MB | Download (49): Open Source EXPRESS Parser Download |
The ThermoFluid library is a free open source physical model library for thermo hydraulic models in the Modelica modeling language.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 2.43 MB | Download (45): ThermoFluid Modelica Library Download |
UML2EJB was a code generator - it took a Unified Modeling Language (UML) model and generated Enterprise JavaBeans classes. This project has been discontinued and replaced by the new AndroMDA project (see http://www.andromda.org).
Platforms: Windows, Mac, Linux
License: Freeware | Size: 688.61 KB | Download (54): UML2EJB Download |
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 Mantis (reachable via 'Hosted Apps')
Platforms: Windows, Mac, Linux
License: Freeware | Size: 20.75 MB | Download (45): USE: UML-based Specification Environment Download |
OntoUML Editor is a model-based graphical editor that supports the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling language named OntoUML, which is based on the Unified Foundational Ontology (UFO). The editor is designed in a way...
Platforms: Mac
License: Freeware | Size: 61.21 MB | Download (38): OntoUML Editor Download |
PathLP, that actually refers to a path oriented logic programming language is a new programming language that you can use.
PathLP is a logic programming language of guarded path expressions. It has constructs for object path expressions, type path expressions, cardinality constraints, and...
Platforms: Windows
License: Freeware | Download (46): PathLP Download |
FluentEditor for OWL is comprehensive tool for editing and manipulating complex ontologies using Controlled Natural Language. Fluent editor provides alternative to XML-based OWL editors that is better suitable for human users.
It's main feature is using Controlled English as a knowledge...
Platforms: Windows
License: Freeware | Size: 11.9 MB | Download (49): Fluent Editor for OWL Download |
Modelio-Open is project hosting a set of open source extensions for the Modelio Free modeling and generation tool (UML, BPMN, MDA) available at http://www.modeliosoft.com. Currently, SoaML, SysML and UML Testing Profile extensions are proposed. Features SoaML - Service Oriented Architecture...
Platforms: *nix
License: Freeware | Size: 2.5 MB | Download (43): modelio-open Download |
EnSuite is a network management plateform prototype based on NetConf and Yang. It aims at providing to the network management community an open source environment not only to test the NetConf configuration protocol, but also Yang data modeling language.
Platforms: *nix
License: Freeware | Size: 1.96 MB | Download (37): EnSuite Download |
SDE for Visual Studio .Net is a UML CASE tool totally integrated with Microsoft Visual Studio. It supports full software development lifecycle - analysis, design, implementation, testing and maintenance. It combines the power of UML modeling facilities and Microsoft Visual Studio .Net. It helps...
License: Freeware | Size: 6.84 MB | Download (468): SDE for Visual Studio .Net (CE) Download |