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