Category:ソフトウェア工学
段階的詳細化法
ソフトウェア測定法
Software metric
モデル駆動工学
Model-driven engineering
エラー忘却型コンピューティング
Failure-oblivious computing
評価戦略
Evaluation strategy
プロセスモデル
自律エージェント
Autonomous agent
HCPチャート
Z言語
Z notation
GRASP
GRASP (object-oriented design)
ミルズの構造化プログラミング
設定より規約
Convention over configuration
モデル駆動型アーキテクチャ
Model-driven architecture
コードの再利用
Code reuse
ホーア論理
Hoare logic
仕様及び記述言語
Specification and Description Languageバージョニングファイルシステム
Versioning file system
GQM
GQM
COSMIC—FFP
プログラム仕様
Functional specification
シェープ解析
Shape analysis (program analysis)
ランタイムエラー検出
Runtime error detection
モデル変換言語
Model transformation language
プログラム導出
Program derivation
メッセージ転送
QVT
QVT
ウェブ指向アーキテクチャ
Web-oriented architecture
N重インスペクション