ãããå ç¢ã§æ£ç¢ºæ§ã®é«ãã½ããã¦ã§ã¢ãä½ããããï¼ãã¨é¡ã.NETãããããã¼ãå¾ ã¡ããã®ã å¥ç´ã«ããè¨è¨(DbC)ããµãã¼ãããCode Contractsã.NET Framework4ããå©ç¨ã§ããããã«ãªãã¾ãã C#ããã¼ã¹ã¨ãã¦å¥ç´ã«ããè¨è¨ããµãã¼ããããSpec#ããå©ç¨ããã¨ããæ¹æ³ãããã¾ããã å¦ç¿è² æ ã軽æ¸ããããã«ã¨ããã¤ã¯ãã½ããã¯è¨èªãæèããªãã¦ãéçºè ãå©ç¨ã§ããããã«ã Code Contractsã¨ãã¦.NET Frameworkã§å¥ç´ããµãã¼ããã¦ããã¾ããã ããã¯ããªãã¸ã§ã¯ãæåããã³ããªãã¸ã§ã¯ãæåããã°ã©ãã³ã°ã大好ããª.NETéçºè ã«ã¨ã£ã¦ãã¨ã¦ãè¯ãç¥ããã§ãã ããããå¾ ã¡æãã§ãããã¡ã®ã²ã¨ãã§ãããããã¨ããã¤ã¯ãã½ããï¼ï¼ã¨ããæ°æã¡ã§ãã£ã±ãã§ãã VisualStudio2010ã4æ12æ¥ï¼ç±³å½ï¼ã«ãã¼ã³ãããããã¨ã
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}