Category:ソフトウェア工学
ハッカソン
Hackathon
WEB
Web (programming system)
ドメインモデル
Domain model
AI駆動開発
静的コード解析
Static program analysis
評価戦略
Evaluation strategy契約プログラミング
Design by contractCOCOMO
COCOMO
文芸的プログラミング
Literate programming
MapReduce
MapReduceビヘイビア駆動開発
Behavior-driven development
ホーア論理
Hoare logic
段階的詳細化法
グローバル変数
Global variable
自律エージェント
Autonomous agent
メタモデル
Metamodeling
ソフトウェア考古学
Software archaeology
構造化された並行性
Structured concurrency
ソフトウェア測定法
Software metric
プログラム導出
Program derivation
構造化定理
Structured program theorem
コードの再利用
Code reuse
見える化
Visual control
ソフトウェア情報学部
エラー忘却型コンピューティング
Failure-oblivious computing
ソフトウェア開発哲学の一覧
List of software development philosophiesプログラム合成
Program synthesis
BPEL
Business Process Execution Language
