xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ Weblog ライブネス：よいことがいつか起きるという形式で記述されるものの総称。 セーフティ：悪いことが起きないという形式で記述されるものの総称。 「分散ストレージのための、因果順序に基づく耐競合バージョン付けプロトコルの設計と評価」 https://rg.sfc.keio.ac.jp/rg/2002f/bachelor-fin-presen/papers/seiei.pdf より引用 とすると、ゴール指向要求分析の達成ゴール（P→◇Q)は、ライブネスを 基準に記述している。 そして、達成ゴールの末端を要求にすると、その要求から、責務関係を 分析すると、コンテキストダイアグラム（DFDのトップ）やユースケ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fbbc7e0cc70dc0ca96562305f3b4fdd5a" title="要求仕様におけるライブネスとセーフティ - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-02-27 10:23:01 rich https://xmldtp.hatenadiary.org/entry/bbc7e0cc70dc0ca96562305f3b4fdd5a 1.0 100%