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