Similar to 直交性_(情報科学)
Object Management Group
Object Management Group開発合宿
▼-1 trendsQIP
銀の弾などない
No Silver Bulletグローバル変数
Global variable形式的検証
Formal verification契約プログラミング
Design by contract構造化された並行性
Structured concurrency構造化定理
Structured program theorem構造化プログラミング
Structured programming構造化分析設計技法
Structured analysis and design techniqueコードの再利用
Code reuseCOCOMO
COCOMOCoBRA法
ゴールの法則
Gall's lawサイトリライアビリティエンジニアリング
Site reliability engineeringGQM
GQMシェープ解析
Shape analysis (program analysis)ジェネリックプログラミング
Generic programmingジャクソンの構造化プログラミング
Jackson structured programming仕様及び記述言語
Specification and Description Language詳細化
Refinement (computing)自律エージェント
Autonomous agentスリーアミーゴス
Three Amigos (disambiguation)▼-1 trends静的コード解析
Static program analysis性能解析
Profiling (computer programming)設定より規約
Convention over configurationZ言語
Z notation