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