Similar to 形式的検証
抽象データ型
Abstract data type
直交性 (情報科学)
Orthogonality (programming)
データ構造アライメント
Data structure alignment
データモデリング
Data modeling
デザインパターン (ソフトウェア)
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