Similar to プログラミングの統一理論
仕様及び記述言語
Specification and Description LanguageB-Method
B-MethodCommunicating Sequential Processes
Communicating sequential processes形式的検証
Formal verification詳細化
Refinement (computing)静的コード解析
Static program analysisZ言語
Z notationプログラム意味論
Semantics (computer science)ホーア論理
Hoare logic銀の弾などない
No Silver Bulletソフトウエア工学知識体系
Software Engineering Body of Knowledgeデザインパターン (ソフトウェア)
Software design pattern人月の神話
The Mythical Man-MonthCode Reading
Code ReadingConcrete Mathematics
Concrete Mathematics形式手法
Formal methodsCICS
CICSDPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+VDM
Vienna Development Method概念実証
Proof of concept型付きラムダ計算
Typed lambda calculusギルモアのアルゴリズム
グレブナー基底
Gröbner basis