Category:ソフトウェア工学
フローチャート
Flowchart
ソフトウェアドキュメンテーション
Software documentation人月の神話
The Mythical Man-Month
ハッカソン
Hackathon
文芸的プログラミング
Literate programming
構造化プログラミング
Structured programmingビヘイビア駆動開発
Behavior-driven development契約プログラミング
Design by contract
CI/CD
CI/CD
WEB
Web (programming system)
トップダウン設計とボトムアップ設計
Bottom-up and top-down design
ソフトウェアコンポーネント
Software component
GRASP
GRASP (object-oriented design)
形式的検証
Formal verification
動的プログラム解析
Dynamic program analysis
モデル駆動型アーキテクチャ
Model-driven architecture
自律エージェント
Autonomous agent
HCPチャート
プロセスモデル
モデル駆動工学
Model-driven engineering
ジャクソンの構造化プログラミング
Jackson structured programming
プログラム仕様
Functional specification
プログラム導出
Program derivation
ジェネリックプログラミング
Generic programming
ソフトウェア開発哲学の一覧
List of software development philosophies
Z言語
Z notation
モデリング言語
Modeling language
ホーア論理
Hoare logic