Jackson のソフトウェア要求、Hoare の安定失敗モデル、Meyer の契約による設計を実務向けに整理・簡略化した要求定義、仕様記述、設計、検証の手引き
集大成をまとめました！
いつも自販機で喩えてくれるの分かりやすい
形式手法ガチ勢の資料は助かる。曖昧な日本語で消耗するより100倍マシ
sysmlでいいような。。
所々に個人的に刺さるパンチラインがあって学びがあった
要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義
Jackson のソフトウェア要求、Hoare の安定失敗モデル、Meyer の契約による設計を実務向けに整理・簡略化した要求定義、仕様記述、設計、検証の手引き
集大成をまとめました！
いつも自販機で喩えてくれるの分かりやすい
形式手法ガチ勢の資料は助かる。曖昧な日本語で消耗するより100倍マシ
sysmlでいいような。。
所々に個人的に刺さるパンチラインがあって学びがあった