Category:ソフトウェア工学
メモリ安全性
Memory safety
形式的検証
Formal verification
メタモデル
Metamodeling
コードの再利用
Code reuse
抽象データ型
Abstract data type
構造化定理
Structured program theorem
ソフトウェア測定法
Software metric
GQM
GQM
評価戦略
Evaluation strategy
ソフトウェア開発哲学の一覧
List of software development philosophies
ソフトウェアコンポーネント
Software component
仕様及び記述言語
Specification and Description Language
詳細化
Refinement (computing)
HCPチャート
ゴールの法則
Gall's law段階的詳細化法
COSMIC—FFP
シェープ解析
Shape analysis (program analysis)
ランタイムエラー検出
Runtime error detection
モデル変換言語
Model transformation language
プログラム導出
Program derivation
メッセージ転送
QVT
QVT
ウェブ指向アーキテクチャ
Web-oriented architecture
N重インスペクション
プログラミングの統一理論
Unifying Theories of Programming
ボトムアップ設計
ATLAS Transformation Language
ATLAS Transformation Language