第54回CLR/H勉強会発表資料を公開します。 - Bug Catharsis
第54回CLR/H勉強会(2011/01/15)にて、３つのセッションと、LTを行いました。 そのときの発表資料をSkyDriveにて公開します(5.3MB)。 01オブジェクト指向と契約による設計 ・オブジェクト指向と契約による設計.pptx 02Code Contracts入門 ・Code Contract入門(新).pptx ・サンプルプログラムあり 03VBerでもできるF# ・VBer でもできるF#pptx.pptx ・orenofs.xlsx ・サンプルプログラムあり 04LT ・継承とコンポジションについて.pptx
MVC と Code Contracts と DataAnnotations
MVC でリポジトリパターン？サービスインターフェース？を Code Contracts で堅くいこうとすると、こんな恰好になりますよね？ [ContractClass( typeof( RepositoryContracts ) )] public interface IRepository { Data GetByName( string name ); } [ContractClassFor( typeof( IRepository ) )] abstract class RepositoryContracts : IRepository { public Data GetByName( string name ) { Contract.Require( name!=null ); } } これをやればリポジトリを無茶なパラメータで呼ぶような事は契約によって守られるわけで素晴らしいん
Contracts - Microsoft Research
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. Code Contracts
Code Contracts for .NET - Visual Studio Marketplace
Code Contracts are static library methods used from any .NET program to specify the code’s behavior. Runtime checking and static checking tools are both provided for taking advantage of contracts. NewsWe have released the sources on GitHub: http://github.com/CodeContractsDotNet/CodeContracts Francesco's blog on CodeContracts has some answers to FAQs, tricks, documentation, news, etc., primarily fo
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
基礎からのCode Contracts
Visual Studio Marketplace
Code Contracts
