Category:形式仕様記述言語

Eiffel (programming language)

Denotational semantics

Semantics (computer science)

Vienna Development Method

Z notation

Specification language

Process calculus

PlusCal

Specification and Description Language

Object Constraint Language

Property Specification Language

TLA+

Axiomatic semantics

B-Method

Formal specification

Operational semantics

Petri net