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