Category:Specification languages

Wikimedia Commons has media related to Specification languages.

This category lists those specification languages known to Wikipedia.

See also: Category:Reference models, Category:Enterprise modelling.

• Data modeling languages‎ (3 C, 64 P)
• Dependently typed languages‎ (15 P)

• Formal specification languages‎ (7 C, 55 P)

• Hardware description languages‎ (2 C, 41 P)

• Software for modeling software‎ (1 C, 7 P)
• Software modeling language‎ (1 C, 17 P)

• Unified Modeling Language‎ (4 C, 69 P)

The following 49 pages are in this category, out of 49 total. This list may not reflect recent changes.

• Algebraic modeling language
• Algebraic Petri net
• ANSI/ISO C Specification Language

• Battle management language
• Business Process Model and Notation

• CMS Pipelines
• CO-OPN

• ERIL

• Formal methods
• Framework-specific modeling language
• Franca IDL
• Fundamental modeling concepts

• General-purpose modeling
• Goal-oriented Requirements Language

• HOOD method

• I*
• IDL specification language
• Interaction Flow Modeling Language
• Interface description language

• KM3
• Knowledge Based Software Assistant

• Language for Instruction Set Architecture
• Lightweight Imaging Device Interface Language
• Little b (programming language)

• Meta-Object Facility
• Military Scenario Definition Language
• MML (programming language)
• MMT (Eclipse)
• Model transformation language
• Modeling language

• OASIS TOSCA
• Object Process Methodology
• Object-Z
• OGML

• Petriscript
• Promela

• SAP NetWeaver Visual Composer
• Shyster (expert system)
• SoaML

• Tefkat
• TLA+

• Unified Modeling Language
• Uninterpreted function

• Web IDL
• WebML

• XPDL

• Z notation
• Z++

Languages