Category:ソフトウェア工学
契約プログラミング
Design by contractサイトリライアビリティエンジニアリング
Site reliability engineering
HCPチャート
ジェネリックプログラミング
Generic programming
ソフトウェアドキュメンテーション
Software documentation
オブジェクト指向
Object-orientation人月の神話
The Mythical Man-Month
フローチャート
Flowchart
データフロー図
Data-flow diagram
イベント駆動型プログラミング
Event-driven programming
エラー忘却型コンピューティング
Failure-oblivious computingビヘイビア駆動開発
Behavior-driven development
形式的検証
Formal verification
ダイナミックバインディング
Late binding
ソフトウエア工学知識体系
Software Engineering Body of Knowledge
性能解析
Profiling (computer programming)
プログラム合成
Program synthesisエスケープ解析
Escape analysis
スリーアミーゴス
Three Amigos (disambiguation)
モデル駆動型アーキテクチャ
Model-driven architecture
ソフトウェア測定法
Software metricSSADM
Structured systems analysis and design method
ゴールの法則
Gall's lawシェープ解析
Shape analysis (program analysis)
アナリシスパターン
Software analysis patternプログラム導出
Program derivation
CoBRA法
自律エージェント
Autonomous agent