Category:ソフトウェア工学
オブジェクト指向プログラミング
Object-oriented programming
デスマーチ
Death march (project management)
MapReduce
MapReduce
オブジェクト指向
Object-orientation
構造化プログラミング
Structured programming
データフロー図
Data-flow diagram
メモリ安全性
Memory safety
ダイナミックバインディング
Late binding
抽象データ型
Abstract data type
Z言語
Z notation
モデル駆動工学
Model-driven engineering
データ構造アライメント
Data structure alignment
ソフトウェア測定法
Software metric
ホーア論理
Hoare logic
エラー忘却型コンピューティング
Failure-oblivious computing
性能解析
Profiling (computer programming)
ドメインモデル
Domain model
メタモデル
Metamodeling
自律エージェント
Autonomous agent
評価戦略
Evaluation strategy
プログラム仕様
Functional specification
ソフトウェア情報学部
GQM
GQMサイトリライアビリティエンジニアリング
Site reliability engineering
動的プログラム解析
Dynamic program analysis
形式的検証
Formal verification
ファンクションポイント法
Function point
BPEL
Business Process Execution Language