论文部分内容阅读
Microsoft DevLabs发布了Code Contracts for.NET,并声称按契约设计(Design by Contract)将成为.NET4.0 Visual Studio2010的一个新特性。按契约设计是BertrandMeyer在设计Eiffel编程语言的时候提出的一种面向对象设计方法,其核心思想是:把系统看作是组件的集合,组件之间的协作基于精确定义的权利和义务——契约,这样能帮助我们获得更强壮的组件(类)。