『契約は静的なコード解析を組み合わせているため、コンパイラの内部でも外部でも契約を用いることができ、テストフレームワークも利用できる。』『デバッグバージョン時にはアサーションのように振る舞う。』

Microsoft

peo3 のブックマーク 2008/12/13 05:45

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/10943049/comment/peo3" data-user-id="peo3" data-entry-url="https://b.hatena.ne.jp/entry/s/www.infoq.com/jp/news/2008/11/Code-Contracts/" data-original-href="https://www.infoq.com/jp/news/2008/11/Code-Contracts/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.infoq.com%2Fjp%2Fnews%2F2008%2F11%2FCode-Contracts%2F" data-user-icon="/users/peo3/profile.png">.NET 4の新機能を探る：コード契約</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/Microsoft">Microsoft</a>]</li></ul><br><p style="clear: left">『契約は静的なコード解析を組み合わせているため、コンパイラの内部でも外部でも契約を用いることができ、テストフレームワークも利用できる。』『デバッグバージョン時にはアサーションのように振る舞う。』</p><a class="datetime" href="https://b.hatena.ne.jp/peo3/20081213#bookmark-10943049"><span class="datetime-body">2008/12/13 05:45</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

.NET 4の新機能を探る：コード契約

www.infoq.com2008/11/22

Spring BootによるAPIバックエンド構築実践ガイド第2版何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎...

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

他のコメントを読む

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

はてなブックマーク

.NET 4の新機能を探る：コード契約

はてなブックマーク

公式Twitter

はてなのサービス