Category:Specification languages
![]() | Computing portal |
Here is a list of articles in the Specification languages category of the Computing portal that unifies foundations of mathematics and computations using computers.
This category lists those specification languages known to Wikipedia.
Subcategories
This category has the following 7 subcategories, out of 7 total.
D
F
H
S
U
Pages in category "Specification languages"
The following 49 pages are in this category, out of 49 total.
- Specification language (computing)
A
- Algebraic modeling language (software)
- Algebraic Petri net (computing)
B
- Battle management language (computing)
- Business Process Model and Notation (computing)
C
- CMS Pipelines (computing)
- CO-OPN (computing)
E
- ERIL (computing)
F
- Formal methods (computing)
- Framework-specific modeling language (computing)
- Franca IDL (software)
- Fundamental modeling concepts (computing)
G
- General-purpose modeling (computing)
- Goal-oriented Requirements Language (computing)
H
- HOOD method (computing)
I
- I* (computing)
- IDL specification language (computing)
- Interaction Flow Modeling Language (computing)
- Interface description language (computing)
K
- KM3 (computing)
- Knowledge Based Software Assistant (computing)
L
- LISA (Language for Instruction Set Architecture) (computing)
- Lightweight Imaging Device Interface Language (computing)
- Little b (programming language) (computing)
M
- M2M (Eclipse) (computing)
- Meta-Object Facility (organization)
- Military Scenario Definition Language (computing)
- MMT (Eclipse) (computing)
- Model transformation language (computing)
- Modeling language (computing)
O
- OASIS TOSCA (computing)
- Object Process Methodology (computing)
- Object-Z (computing)
- OGML (computing)
P
- Petriscript (computing)
- Promela (computing)
S
- SAP NetWeaver Visual Composer (software)
- Shyster (expert system) (software)
- SoaML (computing)
T
- Tefkat (computing)
- TLA+ (computing)
- Type Description Language (computing)
U
- Unified Modeling Language (computing)
- Uninterpreted function (computing)
X
- XPDL (computing)
Z
- Z notation (computing)
- Z++ (computing)