「バグ無し」は可能、ソフトの先頭走る

ソフトウエア開発の先端技術を現場に広める伝道師。酒匂寛氏はこの呼び名にふさわしい。オブジェクト指向技術を日本にいち早く紹介し、多数の導入プロジェクトに参加。現在は「形式手法」の定着を目指す。オープン系の最初期から30年、あくまで現場にこだわり、「バグ無し」開発への理想を追い続ける。 オブジェクト指向、形式手法とソフト開発技術の最前線にいち早く取り組んできました。 自分の中では問題意識は一貫しています。ソフトを開発する上で、ソフトの論理的な振る舞いを表現した「仕様（スペック）」がいかに大切か、ということです。 仕様は、要求を出す人と物（プログラム）を作る人が合意する接点となります。ここがいい加減だと、どうにもならないわけですよ。オブジェクト指向も形式手法も、仕様を正しく作り、信頼性の高いソフトを実現する手段として注目しました。 ソフト開発では仕様書を書くのは当たり前ですが、それでは不十分であ

[p260-2001fp]

さすがの釣りタイトル。中身は仕様記述言語の話

[realtank]

悪魔の証明じゃん

[woods]

ま、ぶっちゃけ仕様バグはなくならないんだが。

[mactkg]

つられくまー

[tpircs]

トンデモな記事かと思ったら酒匂さんだった。

[hshinoda]

via http://j.mp/PP3GQG

[koyhoge]

おお、酒匂さん。