とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。 - Bug Catharsis

「より堅牢で正確性の高いソフトウェアを作りたいぜ！」と願う.NETデベロッパーお待ちかねの、 契約による設計(DbC)をサポートするCode Contractsが.NET Framework4より利用できるようになります。 C#をベースとして契約による設計をサポートする「Spec#」を利用するという方法もありますが、 学習負担を軽減するためにと、マイクロソフトは言語を意識しなくても開発者が利用できるように、 Code Contractsとして.NET Frameworkで契約をサポートしてくれました。 これは、オブジェクト指向および、オブジェクト指向プログラミングが大好きな.NET開発者にとって、とても良い知らせです。 わたしも待ち望んでいたうちのひとりです。ありがとうマイクロソフト！！という気持ちでいっぱいです。 VisualStudio2010が4月12日（米国）にローンチされることが

[suginoy]

“この防御的プログラミングという方法ではオブジェクト間の義務と利益。その責任の所在が曖昧になりやすい。これは、ソフトウェアの複雑さを招く副作用があることを示している。それに対して、”

[kiyo_hiko]

「人が犯しうるミスを予め想定して設計することで、利用者に対して優しい製品となっています。性悪説を前提とすることで、良い結果が生まれています」

[coma2n]

.NET Framework 4.0から追加されたDbC機能

[FTTH]

あとで

[d14a]

まだ理解できないない…あとでまたよもう

[Nagise]

ほほう。契約に基づくプログラミングを機械的に補助出来るようになってきたか。ヒューマンエラー対策として好ましい方向に進んでいる感じ

[p260-2001fp]

『「契約」というメタファ』『事前条件、事後条件、不変表明』

[jamzz]

DbC

[masakanou]

サービス提供側と呼び出し側のそれぞれの責務を明確にするのかー。