xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ トピックス この記事、表題に無理ないか？ 「バグ無し」は可能、ソフトの先頭走る http://itpro.nikkeibp.co.jp/article/COLUMN/20120719/410078/ 形式仕様やれば、バグなしといいたいようだが、形式仕様をやってもバグは出る たとえば、変数Ａの定義として、１以上の整数だったとしよう。 そして、完璧なプログラムをつくり、すべて証明したとする。 ところが、実は変数Ａは０以上の整数だったとしたら、今証明したものは、正しいとはいえない。 ０だけで成り立つ／成り立たないケースがあるから。 つまり、形式仕様の証明は ＡならばＢのかたち この場合、前提のＡが偽ならば、（上… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2F871f29cf6b9d627a23562260bb40b182" 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 2012-07-30 07:40:17 rich https://xmldtp.hatenadiary.org/entry/871f29cf6b9d627a23562260bb40b182 1.0 100%