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