2010-01-24から1日間の記事一覧

Code Contracts

Code Contracts for .NET extension 見つけました。 コードに制約 (事前条件や事後条件)を記述出来るそうです。 以前、わんくま勉強会 で 中 さんが紹介していた、 Spec# Spec# - Microsoft Research みたいな感じなんでしょうかね? いちおうサンプルの Api…