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