Category:Specification languages

A

• Algorithm description languages (1 C, 7 P)

D

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

F

• Formal specification languages (7 C, 55 P)

H

• Hardware description languages (2 C, 40 P)

S

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

U

• Unified Modeling Language (4 C, 67 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

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

M

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