Category:形式仕様記述言語
 - 操作的意味論Operational semantics
 - EiffelEiffel (programming language)
 - Z言語Z notation
 - 表示的意味論Denotational semantics
 - 形式仕様記述Formal specification
 - PlusCalPlusCal
 - Object Constraint LanguageObject Constraint Language
 - Property Specification LanguageProperty Specification Language
 - Spec Sharp
 - TLA+TLA+
 - プロセス計算Process calculus
 - 仕様及び記述言語Specification and Description Language
 - 仕様記述言語Specification language
- B-MethodB-Method
 - 公理的意味論Axiomatic semantics
- VDMVienna Development Method
 - ペトリネットPetri net
 - プログラム意味論Semantics (computer science)