2012-03-08から1日間の記事一覧
契約プログラミングを.NETで実践するためのフレームワークです。 詳しいことはググってもらうとして、「このメソッドはこの範囲の値を指定しなさい」とか「このメソッドはこういう値を返しますよ」とか「このフィールドはいつもこういう状態ですよ」といった…
契約プログラミングを.NETで実践するためのフレームワークです。 詳しいことはググってもらうとして、「このメソッドはこの範囲の値を指定しなさい」とか「このメソッドはこういう値を返しますよ」とか「このフィールドはいつもこういう状態ですよ」といった…