ⓘ Software modeling language ..

Architecture Analysis & Design Language

The Architecture Analysis & Design Language is an architecture description language standardized by SAE. AADL was first developed in the field of avionics, and was known formerly as the Avionics Architecture Description Language. The Architecture Analysis & Design Language is derived from MetaH, an architecture description language made by the Advanced Technology Center of Honeywell. AADL is used to model the software and hardware architecture of an embedded, real-time system. Due to its emphasis on the embedded domain, AADL contains constructs for modeling both software and hardware compo ...


DADiSP is a numerical computing environment developed by DSP Development Corporation which allows one to display and manipulate data series, matrices and images with an interface similar to a spreadsheet. DADiSP is used in the study of signal processing, numerical analysis, statistical and physiological data processing.


Laboratory Virtual Instrument Engineering Workbench is a system-design platform and development environment for a visual programming language from National Instruments. The graphical language is named "G"; not to be confused with G-code. Originally released for the Apple Macintosh in 1986, LabVIEW is commonly used for data acquisition, instrument control, and industrial automation on a variety of operating systems OSs, including Microsoft Windows, various versions of Unix, Linux, and macOS. The latest versions of LabVIEW are LabVIEW 2019 and LabVIEW NXG 3.1, released in May 2019.

Lustre (programming language)

Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research project in the early 1980s. A formal presentation of the language can be found in the 1991 Proceedings of the IEEE. In 1993 it progressed to practical, industrial use in a commercial product as the core language of the industrial environment SCADE, developed by Esterel Technologies. It is now used for critical control software in aircraft, helicopters, and nuclear power plants.

Maple (software)

Maple is a symbolic and numeric computing environment, and is also a multi-paradigm programming language. Developed by Maplesoft, Maple also covers other aspects of technical computing, including visualization, data analysis, matrix computation, and connectivity. A toolbox, MapleSim, adds functionality for multidomain physical modeling and code generation.


MATLAB is a multi-paradigm numerical computing environment and proprietary programming language developed by MathWorks. MATLAB allows matrix manipulations, plotting of functions and data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other languages. Although MATLAB is intended primarily for numerical computing, an optional toolbox uses the MuPAD symbolic engine allowing access to symbolic computing abilities. An additional package, Simulink, adds graphical multi-domain simulation and model-based design for dynamic and embedded systems. ...

Menthor Editor

Menthor Editor is a free ontology engineering tool for dealing with OntoUML models. It also includes OntoUML syntax validation, Alloy simulation, Anti-Pattern verification, and MDA transformations from OntoUML to OWL, SBVR and Natural Language. Menthor Editor emerged from OLED. OLED was developed at the Ontology & Conceptual Modeling Research Group NEMO located at the Federal University of Espirito Santo UFES in Vitoria city, state of Espirito Santo, Brazil Menthor Editor is being developed by Menthor using Java. Menthor Editor is available in English and it is a multiplaform software, i.e ...

Real-Time Object-Oriented Modeling

Real-Time Object-Oriented Modeling is a domain specific language. ROOM was developed in the early 1990s for modeling Real-time systems. The initial focus was on telecommunications, even though ROOM can be applied to any event-driven real-time system. ROOM was supported by ObjecTime Developer commercial and is now implemented by the official Eclipse project eTrice When UML2 was defined version 2 of UML with real time extensions, many elements of ROOM were taken over.

SIGNAL (programming language)

SIGNAL is a programming language based on synchronized data-flow: a process is a set of equations on elementary flows describing both data and control. The SIGNAL formal model provides the capability to describe systems with several clocks polychronous systems as relational specifications. Relations are useful as partial specifications and as specifications of non-deterministic devices for instance a non-deterministic bus or external processes for instance an unsafe car driver. Using SIGNAL allows one to specify an application, to design an architecture, to refine detailed components down ...


ⓘ Software modeling language

  • process. Fundamental Modeling Concepts FMC modeling language for software - intensive systems. IDEF is a family of modeling languages which include IDEF0
  • The Unified Modeling Language UML is a general - purpose, developmental, modeling language in the field of software engineering that is intended to provide
  • process, Fundamental Modeling Concepts FMC modeling language for software - intensive systems. IDEF is a family of modeling languages the most notable of
  • Language Modeling Toolkit Free language modeling toolkit in Java KenLM Fast, Free software for language modeling LMSharp Free language model toolkit
  • its emphasis on the embedded domain, AADL contains constructs for modeling both software and hardware components with the hardware components named execution
  • systems modeling languages and techniques, including modeling foundations, semantics, analysis and synthesis techniques, model transformations, language definition
  • Extended Enterprise Modeling Language EEML in software engineering is a modelling language used for Enterprise modelling across a number of layers. Extended
  • An object - modeling language is a standardized set of symbols used to model a software system using an object - oriented framework. The symbols can be either
  • processes. Fundamental Modeling Concepts FMC is modeling language for software - intensive systems. IDEF is a family of modeling languages the most notable