Category:ソフトウェア工学
ドメインモデル
Domain model
ハッカソン
Hackathon
ジェネリックプログラミング
Generic programming
セラック25
Therac-25
文芸的プログラミング
Literate programmingビヘイビア駆動開発
Behavior-driven development
ファンクションポイント法
Function point
冪等
Idempotence
データ構造アライメント
Data structure alignment
ソフトウェアコンポーネント
Software component
エラー忘却型コンピューティング
Failure-oblivious computing
ジャクソンの構造化プログラミング
Jackson structured programming
ダイナミックバインディング
Late binding
プログラム合成
Program synthesis
Z言語
Z notationCOCOMO
COCOMO
詳細化
Refinement (computing)
ミルズの構造化プログラミング
ソフトウェア工学
Software engineering
仕様及び記述言語
Specification and Description Language
シェープ解析
Shape analysis (program analysis)
トップダウン設計とボトムアップ設計
Bottom-up and top-down designプログラム導出
Program derivation
ゴールの法則
Gall's law
アナリシスパターン
Software analysis pattern
構造化された並行性
Structured concurrency
GQM
GQM
BPEL
Business Process Execution Language
