Similar to 形式的検証
銀の弾などない
No Silver Bullet
グローバル変数
Global variable契約プログラミング
Design by contract
構造化された並行性
Structured concurrency
構造化定理
Structured program theorem
構造化プログラミング
Structured programming
構造化分析設計技法
Structured analysis and design technique
コードの再利用
Code reuseCOCOMO
COCOMO
CoBRA法
ゴールの法則
Gall's lawサイトリライアビリティエンジニアリング
Site reliability engineering
GQM
GQM
シェープ解析
Shape analysis (program analysis)
ジェネリックプログラミング
Generic programming
ジャクソンの構造化プログラミング
Jackson structured programming
自律エージェント
Autonomous agent
スリーアミーゴス
Three Amigos (disambiguation)性能解析
Profiling (computer programming)
設定より規約
Convention over configuration
セラック25
Therac-25
総統杯ハッカソン
ソフトウェアエンジン
Software engine
ソフトウェア開発工程
Software development processTemplate:ソフトウェア開発工程
Template:Software development process
ソフトウェア開発方法論
Software development methodology
ソフトウエア工学知識体系
Software Engineering Body of Knowledgeソフトウェア工学における見積
Cost estimation in software engineering
