Similar to 形式的検証
コードの再利用
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 development process
ソフトウェア開発方法論
Software development methodology
ソフトウエア工学知識体系
Software Engineering Body of Knowledgeソフトウェア工学における見積
Cost estimation in software engineering
ソフトウェアコンポーネント
Software component
ソフトウェア情報学部
ソフトウェア測定法
Software metric
ソフトウェアドキュメンテーション
Software documentation
ダイナミックバインディング
Late binding
段階的詳細化法
抽象データ型
Abstract data type
直交性 (情報科学)
Orthogonality (programming)
データ構造アライメント
Data structure alignment
データモデリング
Data modeling
