Similar to 形式的検証
デザインパターン (ソフトウェア)
Software design pattern
デスマーチ
Death march (project management)
データフロー図
Data-flow diagram
統一モデリング言語
Unified Modeling Language
動的プログラム解析
Dynamic program analysis
トップダウン設計
トップダウン設計とボトムアップ設計
Bottom–up and top–down design
ドメインモデル
Domain model人月の神話
The Mythical Man-Month
バージョニングファイルシステム
Versioning file system
ハッカソン
Hackathon
PAD (ソフトウェア設計)
Padrino
Padrino (web framework)ビヘイビア駆動開発
Behavior-driven development
評価戦略
Evaluation strategy
ファンクションポイント法
Function point
フォーク (ソフトウェア開発)
Fork (software development)
フローチャート
Flowchart
プログラム合成
Program synthesis
プログラム仕様
Functional specificationプログラム導出
Program derivationプロセスモデル
文芸的プログラミング
Literate programming
分散開発
Distributed development
冪等
Idempotenceボトムアップ設計
見える化
Visual control
ミルズの構造化プログラミング