Code Contracts for .NET extension 見つけました。 コードに制約 (事前条件や事後条件)を記述出来るそうです。 以前、わんくま勉強会 で 中 さんが紹介していた、 Spec# Spec# - Microsoft Research みたいな感じなんでしょうかね? いちおうサンプルの Api…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。