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