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