Unified Modeling Language
Advertisement
Java Modeling Language (JML) v.1.0
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).
Advertisement
The little b modular modeling language v.rc
Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts.
UML2EJB v.b.131
UML2EJB was a code generator - it took a Unified Modeling Language (UML) model and generated Enterprise JavaBeans classes.
USE: UML-based Specification Environment v.3.0.3
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).
AMPL v.1.0
AMPL is a comprehensive and strong algebraic modeling language for linear and nonlinear optimization problems, in discrete or continuous variables.
SDMetrics v.2.2
SDMetrics analyzes the structural properties of your UML models. Use object-oriented measures of design size, coupling, and complexity to 1. establish quality benchmarks to identify potential design problems early on 2. predict relevant system
Modelica Standard Library v.beta1
The Modelica Standard Library is an open source library of models for the Modelica modeling language.
Open Source EXPRESS Parser v.1.0
Developer tools for EXPRESS (ISO 10303-11), an information modeling language.
ThermoFluid Modelica Library v.1.0
The ThermoFluid library is a free open source physical model library for thermo hydraulic models in the Modelica modeling language.
Pacestar UML Diagrammer
Creates UML 2.0 diagrams quickly and easily. Develop, document, and communicate your designs in a systematic yet flexible commonly understood notation. Supports activity, class and object, use case, sequence, state, package, and component deployment
QSEE SuperLite v.1. 1. 2002
The QSEE SuperLite tool is a collection of sub-tools designed to aid in the analysis and design of software type systems.