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