Category:ソフトウェア工学
ゴールの法則
Gall's law
プログラム合成
Program synthesis
詳細化
Refinement (computing)
ホーア論理
Hoare logic
CoBRA法
プログラム仕様
Functional specification
QIP
ソフトウェア考古学
Software archaeologySSADM
Structured systems analysis and design methodバージョニングファイルシステム
Versioning file system
GRASP
GRASP (object-oriented design)
開発合宿
文芸的プログラミング
Literate programming段階的詳細化法
コードの再利用
Code reuse
構造化分析設計技法
Structured analysis and design technique
ソフトウェア開発哲学の一覧
List of software development philosophies
モデル駆動工学
Model-driven engineering
性能解析
Profiling (computer programming)
ダイナミックバインディング
Late bindingプロセスモデル
GQM
GQM
スリーアミーゴス
Three Amigos (disambiguation)
モデル駆動型アーキテクチャ
Model-driven architectureビヘイビア駆動開発
Behavior-driven development
セラック25
Therac-25
Padrino
Padrino (web framework)サイトリライアビリティエンジニアリング
Site reliability engineering