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