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

Nagise のブックマーク 2010/04/28 15:05

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/18980305/comment/Nagise" data-user-id="Nagise" data-entry-url="https://b.hatena.ne.jp/entry/s/zecl.hatenablog.com/entry/20100131/p1" data-original-href="https://zecl.hatenablog.com/entry/20100131/p1" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fzecl.hatenablog.com%2Fentry%2F20100131%2Fp1" data-user-icon="/users/Nagise/profile.png">とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。 - Bug Catharsis</a><br><p style="clear: left">ほほう。契約に基づくプログラミングを機械的に補助出来るようになってきたか。ヒューマンエラー対策として好ましい方向に進んでいる感じ</p><a class="datetime" href="https://b.hatena.ne.jp/Nagise/20100428#bookmark-18980305"><span class="datetime-body">2010/04/28 15:05</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

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

zecl.hatenablog.com2010/02/01

「より堅牢で正確性の高いソフトウェアを作りたいぜ！」と願う.NETデベロッパーお待ちかねの、契約による設計(DbC)をサポートするCode Contractsが.NET Framework4より利用できるようになります。 C#をベースと...

83 人がブックマーク・9 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

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

はてなブックマーク

公式Twitter

はてなのサービス