Similar to 形式的検証
ソフトウェアコンポーネント
Software component
ソフトウェア情報学部
ソフトウェア測定法
Software metric
ソフトウェアドキュメンテーション
Software documentation
ダイナミックバインディング
Late binding
段階的詳細化法
抽象データ型
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 approaches
ドメインモデル
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