Category:Specification languages

D

• ► Data modeling languages‎ (2 C, 63 P)
• ► Dependently typed languages‎ (15 P)

F

• ► Formal specification languages‎ (1 C, 58 P)

H

• ► Hardware description languages‎ (42 P)

S

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

U

• ► Unified Modeling Language‎ (3 C, 71 P)

• 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)

W

• Web IDL (computing)
• WebML (computing)

X

• XPDL (computing)

Z

• Z notation (computing)
• Z++ (computing)