Category:ソフトウェア工学
構造化プログラミング
Structured programming
セラック25
Therac-25
文芸的プログラミング
Literate programming
ファンクションポイント法
Function point
冪等
Idempotence
ドメインモデル
Domain modelビヘイビア駆動開発
Behavior-driven development
デスマーチ
Death march (project management)
ジェネリックプログラミング
Generic programming
トップダウン設計とボトムアップ設計
Bottom-up and top-down design
ソフトウェア開発方法論
Software development methodology
ジャクソンの構造化プログラミング
Jackson structured programmingCOCOMO
COCOMO
アナリシスパターン
Software analysis pattern
プログラム合成
Program synthesis
ミルズの構造化プログラミング
ダイナミックバインディング
Late binding
構造化された並行性
Structured concurrency
エラー忘却型コンピューティング
Failure-oblivious computing
ハッカソン
Hackathon
仕様及び記述言語
Specification and Description Language
シェープ解析
Shape analysis (program analysis)プログラム導出
Program derivation
メタモデル
Metamodeling銀の弾などない
No Silver Bullet
Z言語
Z notation
CoBRA法
詳細化
Refinement (computing)
