xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ そのほか 前に、聞かれて、答えたことを、忘れないうちにメモメモ 要求仕様の全てを、ある形式仕様言語で確認するというのは、不可能でないかもしれないけど、 難しい。 ここで、要求仕様を ・機能要件 概念モデルとユースケース ・非機能要件 性能 信頼性 ユーザビリティ とわけると、機能要件に関しては、形式仕様言語（ＶＤＭとかＢとかＺとか）で確認できるけど、 非機能要件に関しては、得意ではない。 性能に関しては（何分以内で帰ってくる）出来ないことはないけど、あまり得意ではないし、 信頼性も・・・ユーザビリティにいたっては、形式仕様言語で確認したいなら、まず ユーザビリティとは何か？から定義しないといけないので、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fd311cadf63df978a5302e2f26e7db14d" 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 2011-03-31 15:04:46 rich https://xmldtp.hatenadiary.org/entry/d311cadf63df978a5302e2f26e7db14d 1.0 100%