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