Category:Formal specification languages

• Semantics (computer science) (computing)
• Formal specification (computing)

A

• Action semantics (computing)
• Albatross (programming language) (computing)
• Algebraic semantics (computer science) (computing)
• Alloy (specification language) (computing)
• Assertion definition language (computing)
• Augmented marked graph (computing)
• Axiomatic semantics (computing)

B

• B-Method (computing)
• Behavior of coupled DEVS (computing)
• Behavior of DEVS (computing)
• BHDL (computing)

C

• Common Algebraic Specification Language (computing)
• Construction and Analysis of Distributed Processes (software)
• CoreASM (computing)

D

• Denotational semantics (computing)
• DEVS (computing)
• PowerDEVS (software)
• Duration calculus (computing)

E

• E-LOTOS (computing)
• Eiffel (programming language) (computing)
• Event segment (computing)
• Extended ML (computing)

J

• Java Modeling Language (computing)

L

• Language Of Temporal Ordering Specification (computing)
• Larch family (computing)
• LePUS3 (computing)

M

• Maude system (computing)
• Message sequence chart (computing)
• Meta-IV (specification language) (computing)

N

• Nets within Nets (computing)

O

• OBJ (programming language) (computing)
• Object Constraint Language (computing)
• Object-Z (computing)
• Operational semantics (computing)

P

• Perfect Developer (computing)
• Petri net (computing)
• PlusCal (computing)
• Predicative programming (computing)
• Property Specification Language (computing)
• Prototype Verification System (computing)

R

• Refinement calculus (computing)
• Rigorous Approach to Industrial Software Engineering (engineering)
• Rodin tool (computing)
• Rosetta-lang (computing)

S

• SPARK (programming language) (computing)
• Spec Sharp (computing)
• Specification and Description Language (computing)
• Stochastic Petri net (computing)

T

• Timed event system (computing)
• TLA+ (computing)
• TNSDL (computing)

U

• Universal Systems Language (computing)

V

• Vector addition system (computing)
• Vienna Development Method (computing)

W

• Wright (ADL) (computing)

Z

• Z notation (computing)