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