Category:ソフトウェア工学
メモリ安全性
Memory safety
形式的検証
Formal verification契約プログラミング
Design by contract
コードの再利用
Code reuse
メタモデル
Metamodeling
ソフトウェアコンポーネント
Software component
ソフトウェア測定法
Software metric
GQM
GQM
セラック25
Therac-25
段階的詳細化法
ソフトウェア開発哲学の一覧
List of software development philosophies詳細化
Refinement (computing)
ソフトウェア開発方法論
Software development methodology
ダイナミックバインディング
Late binding
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 LanguageBinary Ninja
Binary NinjaEclipse Modeling Framework
Eclipse Modeling Framework