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