首页> 中文期刊> 《计算机应用与软件》 >在Java中使用契约式设计

在Java中使用契约式设计

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

契约式设计DBC是面向对象程序设计的一项技术,其目的在于提高软件的质量、可靠性与可复用性.Java语言本身还不直接支持契约式设计,但借助一些外部辅助工具可以使该项技术获得应用.对此,给出了两种实现方法:一种是使用预编译器;另一种是使用面向方面的程序设计技术.

著录项

来源
《计算机应用与软件》 |2006年第11期|67-69|共3页
作者
孙巨;
展开▼
作者单位

苏州大学;

江苏;

苏州;

215021;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
契约式设计DBC; Java; JMSAssert预编译器; 面向方面的程序设计 AOP;

相似文献

中文文献
外文文献
专利

1. 一种使用AspectJ技术的Java契约式编程语言模型 [J] . 陈平 ,夏敏 . 东北电力大学学报 . 2011,第003期
2. 基于契约式设计的VeriJava编程语言设计 [J] . 戴维标 . 江苏第二师范学院学报：自然科学 . 2014,第004期
3. 基于契约式设计的VeriJava编程语言设计 [J] . 戴维标 . 江苏第二师范学院学报 . 2014,第011期
4. 一种Java平台上契约式语言的设计与实现 [J] . 刘振安 ,王文涛 . 测控技术 . 2008,第001期
5. 支持契约式设计的Java静态验证器的研究 [J] . 章程 ,赵建军 ,沈备军 . 计算机应用与软件 . 2008,第005期
6. 适用于企业的Java使用第二代Java技术的关键任务的IT应用 [C] . (Missing) . 全国第一届JAVA技术及应用研讨会 . 1998
7. 基于契约式设计的VeriJava编程语言设计 [A] . 张思博 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号