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