在Java中使用契约式设计

来源 :计算机应用与软件 | 被引量 : 12次 | 上传用户:lixianrong1017
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
契约式设计DBC是面向对象程序设计的一项技术,其目的在于提高软件的质量、可靠性与可复用性。Java语言本身还不直接支持契约式设计,但借助一些外部辅助工具可以使该项技术获得应用。对此,给出了两种实现方法:一种是使用预编译器;另一种是使用面向方面的程序设计技术。
其他文献
台湾是个注重教育的社会,公民的平均学历也很高,特别是在70至90年代经济高速发展,教育起了相当重要的作用.另外,台湾的就业门槛较高,求职者需要有一定的学历背景.在这只无形
2002年3月,在台湾经营的英美六大书商,联合检举台湾一些地区的复印社,指控他们盗印原版书籍给大学生,牟取不法利益.台湾有关部门在对6家大学校园旁的10家复印社搜索后,查扣了
C#语言中的委托、事件及异步委托是通用类型系统所特有的语言特性,它功能强大,使用方便。本文结合C#源代码,介绍了利用这些特性所实现的定单模式和传统的多线程同步机制实现定单模式的不同。