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