Category:ソフトウェア工学
デスマーチ
Death march (project management)
オブジェクト指向分析設計
Object-oriented analysis and design
モデル駆動型アーキテクチャ
Model-driven architecture
構造化分析設計技法
Structured analysis and design technique
ホーア論理
Hoare logic
データ構造アライメント
Data structure alignment
グローバル変数
Global variable
静的コード解析
Static program analysis
評価戦略
Evaluation strategy
モデル駆動工学
Model-driven engineering
メモリ安全性
Memory safety
CI/CD
CI/CD
性能解析
Profiling (computer programming)
ソフトウェアコンポーネント
Software component
ソフトウェア考古学
Software archaeology
コードの再利用
Code reuse
BPEL
Business Process Execution Language
データモデリング
Data modeling
モデリング言語
Modeling language銀の弾などない
No Silver Bullet
仕様及び記述言語
Specification and Description Language
ジャクソンの構造化プログラミング
Jackson structured programming
プロセスモデル
アナリシスパターン
Software analysis pattern
Z言語
Z notation
構造化された並行性
Structured concurrency
動的プログラム解析
Dynamic program analysisシェープ解析
Shape analysis (program analysis)
