Category:ソフトウェア工学
ハッカソン
Hackathon
フローチャート
Flowchart人月の神話
The Mythical Man-Month
構造化プログラミング
Structured programming
ソフトウェアドキュメンテーション
Software documentation
CI/CD
CI/CD契約プログラミング
Design by contract
WEB
Web (programming system)ビヘイビア駆動開発
Behavior-driven development
統一モデリング言語
Unified Modeling Language
オブジェクト指向プログラミング
Object-oriented programming
冪等
Idempotence
文芸的プログラミング
Literate programming
ソフトウェアコンポーネント
Software component
形式的検証
Formal verification
GRASP
GRASP (object-oriented design)
モデル駆動型アーキテクチャ
Model-driven architecture
ジェネリックプログラミング
Generic programming
トップダウン設計とボトムアップ設計
Bottom-up and top-down design
ソフトウェア開発工程
Software development process
ホーア論理
Hoare logic
セラック25
Therac-25
プログラム仕様
Functional specification銀の弾などない
No Silver Bullet
自律エージェント
Autonomous agent
設定より規約
Convention over configuration
プログラム導出
Program derivationプロセスモデル
