zecl https://blog.hatena.ne.jp/zecl/ Bug Catharsis https://zecl.hatenablog.com/ プログラミング オブジェクト指向 契約による設計 Code Contracts .NET C# VB.NET 「より堅牢で正確性の高いソフトウェアを作りたいぜ！」と願う.NETデベロッパーお待ちかねの、 契約による設計(DbC)をサポートするCode Contractsが.NET Framework4より利用できるようになります。 C#をベースとして契約による設計をサポートする「Spec#」を利用するという方法もありますが、 学習負担を軽減するためにと、マイクロソフトは言語を意識しなくても開発者が利用できるように、 Code Contractsとして.NET Frameworkで契約をサポートしてくれました。 これは、オブジェクト指向および、オブジェクト指向プログラミングが大好きな.NET開発者にとっ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzecl.hatenablog.com%2Fentry%2F20100131%2Fp1" title="とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。 - Bug Catharsis" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/z/zecl/20100131/20100131231851.png Hatena Blog https://hatena.blog 2010-01-31 00:00:00 rich https://zecl.hatenablog.com/entry/20100131/p1 1.0 100%