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