Jackson のソフトウェア要求、Hoare の安定失敗モデル、Meyer の契約による設計を実務向けに整理・簡略化した要求定義、仕様記述、設計、検証の手引き
集大成をまとめました！
いつも自販機で喩えてくれるの分かりやすい
形式手法ガチ勢の資料は助かる。曖昧な日本語で消耗するより100倍マシ
sysmlでいいような。。
所々に個人的に刺さるパンチラインがあって学びがあった
あとでよむ！
参考にはなる。でも実装するときには完全に忘れてる奴。。なんなら要件を考えるときにも忘れてる。大抵の場合、したいことだけ記述したら要件を書き終わったつもりになってる。
で、これお客さんは読めるの？いやスマンExcel仕様書を書いてストレスがたまってたようだ。分析と設計としては正しいのだがお客さんは画面と入力項目より難しいことは考えないんだ。この記事を使う機会はないだろうな
使う側は何を求めてるのか表面的にしか語ってこないのがつらい
CSP解説？
要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義
Jackson のソフトウェア要求、Hoare の安定失敗モデル、Meyer の契約による設計を実務向けに整理・簡略化した要求定義、仕様記述、設計、検証の手引き
集大成をまとめました！
いつも自販機で喩えてくれるの分かりやすい
形式手法ガチ勢の資料は助かる。曖昧な日本語で消耗するより100倍マシ
sysmlでいいような。。
所々に個人的に刺さるパンチラインがあって学びがあった
あとでよむ！
参考にはなる。でも実装するときには完全に忘れてる奴。。なんなら要件を考えるときにも忘れてる。大抵の場合、したいことだけ記述したら要件を書き終わったつもりになってる。
で、これお客さんは読めるの？いやスマンExcel仕様書を書いてストレスがたまってたようだ。分析と設計としては正しいのだがお客さんは画面と入力項目より難しいことは考えないんだ。この記事を使う機会はないだろうな
使う側は何を求めてるのか表面的にしか語ってこないのがつらい
CSP解説？