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