Category:ソフトウェア工学
統一モデリング言語
Unified Modeling Language
オブジェクト指向
Object-orientation
イベント駆動型プログラミング
Event-driven programming契約プログラミング
Design by contract銀の弾などない
No Silver Bullet
フローチャート
Flowchartサイトリライアビリティエンジニアリング
Site reliability engineering人月の神話
The Mythical Man-Month
ソフトウェアドキュメンテーション
Software documentation
データフロー図
Data-flow diagramビヘイビア駆動開発
Behavior-driven development
HCPチャート
ダイナミックバインディング
Late binding
エラー忘却型コンピューティング
Failure-oblivious computing
形式的検証
Formal verification
性能解析
Profiling (computer programming)
モデル駆動型アーキテクチャ
Model-driven architectureエスケープ解析
Escape analysis
ソフトウエア工学知識体系
Software Engineering Body of Knowledge
冪等
Idempotence
ジェネリックプログラミング
Generic programming
ソフトウェア測定法
Software metric
プログラム合成
Program synthesis
設定より規約
Convention over configuration
構造化分析設計技法
Structured analysis and design technique
アナリシスパターン
Software analysis pattern
動的プログラム解析
Dynamic program analysis
ソフトウェア情報学部
