Category:Specification languages

A

• Algorithm description languages‎ (1 C, 7 P)

D

• Data modeling languages‎ (3 C, 63 P)
• Dependently typed languages‎ (14 P)

F

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

H

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

S

• Software for modeling software‎ (1 C, 8 P)
• Software modeling language‎ (1 C, 18 P)

U

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

• Specification language

A

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

B

• Battle management language
• Business Process Model and Notation

C

• CMS Pipelines
• CO-OPN

E

• ERIL

F

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

G

• General-purpose modeling
• Goal-oriented Requirements Language

H

• HOOD method

I

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

K

• KM3
• Knowledge Based Software Assistant

L

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

M

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

O

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

P

• Petriscript
• Promela

S

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

T

• Tefkat
• TLA+

U

• Unified Modeling Language
• Uninterpreted function

W

• Web IDL
• WebML

X

• XPDL

Z

• Z notation
• Z++