Similar to 仕様及び記述言語
統一モデリング言語
Unified Modeling Language
仕様記述言語
Specification language
Z言語
Z notation
ペトリネット
Petri net/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
形式仕様記述
Formal specification
形式的検証
Formal verification
詳細化
Refinement (computing)
静的コード解析
Static program analysis
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ホーア論理
Hoare logic
HCPチャート
SSADM
Structured systems analysis and design method
IDEF
IDEF
データフロー図
Data-flow diagram
PAD (ソフトウェア設計)
フローチャート
Flowchart
COSMIC—FFP
Eclipse Modeling Framework
Eclipse Modeling Framework
GRASP
GRASP (object-oriented design)
オブジェクト指向
Object-orientation
オブジェクト指向プログラミング
Object-oriented programming
オブジェクト指向分析設計
Object-oriented analysis and design