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). It has many tools to do assertion checking, unit testing, etc.
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. The initial focus is molecular and multicellular networks.Project web page: http://www.littleb.org ...
AMPL v.1.0
AMPL is a comprehensive and strong algebraic modeling language for linear and nonlinear optimization problems, in discrete or continuous variables.It lets you use common notation and familiar concepts to formulate optimization models and examine solutions, ...
Modelica Standard Library v.beta1
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.
Open Source EXPRESS Parser v.1.0
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.
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.
UML2EJB v.b.131
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).
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). Please report any encountered bugs using Mantis (reachable via "Hosted Apps") ...
Fluent Editor for OWL 0.2.0.1 Beta v.1.0
It's main feature is using Controlled English as a knowledge modeling language. Supported via Predictive Editor prohibits one to enter any sentence that is not grammatically or morphologically correct and actively help the user during sentence writing.
AnyCAD Component Designer v.3.0
You can use it to build smart 3D parametric models by combining the AnyCAD modeling language and parameter binding mechanism.AnyCAD Component Designer Features:
1. You can build accurate 3D models. It becomes easier to build models via the modeling ...
SDMetrics v.2.2
Interoperability with UML tools
SDMetrics is designed to work with all UML modeling tools with XMI export.6. Data export
Design measurement data is most impactfully used when subjected to strong statistical analysis procedures.7. Interactive ...
UModel v.2012 Release 2 SP 1
Business process (BPMN) diagramThe UML is a complete modeling language but does not discuss, or prescribe, the methodology for the development, code generation and round-trip engineering processes. UModel has therefore been designed to allow complete ...
EventStudio System Designer v.5
Users model the system in a text based modeling language. EventStudio analyzes the model for design errors and automatically generates use case and sequence diagrams for multiple scenarios. Diagram layout handling is fully automated. Sequence diagrams ...
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 diagrams, ...