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