Category:ソフトウェア工学
サイトリライアビリティエンジニアリング
Site reliability engineering契約プログラミング
Design by contract
ソフトウェアドキュメンテーション
Software documentation
イベント駆動型プログラミング
Event-driven programming
HCPチャート
エラー忘却型コンピューティング
Failure-oblivious computingビヘイビア駆動開発
Behavior-driven development
ソフトウエア工学知識体系
Software Engineering Body of Knowledge
性能解析
Profiling (computer programming)エスケープ解析
Escape analysis
モデル駆動型アーキテクチャ
Model-driven architecture
ダイナミックバインディング
Late binding
ソフトウェア測定法
Software metric
プログラム合成
Program synthesis
ジェネリックプログラミング
Generic programming
設定より規約
Convention over configuration
アナリシスパターン
Software analysis pattern
動的プログラム解析
Dynamic program analysis
ソフトウェア情報学部
モデリング言語
Modeling language
CoBRA法
シェープ解析
Shape analysis (program analysis)プログラム導出
Program derivation
仕様及び記述言語
Specification and Description LanguageSSADM
Structured systems analysis and design method
自律エージェント
Autonomous agent
構造化された並行性
Structured concurrency
GRASP
GRASP (object-oriented design)