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