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