期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
再访契约式设计之父——故障、预处理和重构
下载PDF
职称材料
导出
摘要
本刊2004年第一期刊登了 BillVenners 对契约式设计之父 Bertrand Meyer 的采访前三部分。本期是采访的第四部分,Meyer 讨论了有关故障,预处理和重用策略如何处理故障,在哪里检测预处理,以及在什么时候进行重用设计最合适。
作者
Bill Venners
张猛
出处
《程序员》
2004年第4期30-31,共2页
Programmer
关键词
契约式设计
程序设计
故障
预处理
重构
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
刘振安,王文涛.
一种Java平台上契约式语言的设计与实现[J]
.测控技术,2008,27(1):81-84.
被引量:1
2
程辉,卢正鼎,聂国梁,张茂元.
基于契约式设计的CORBA异常机制测试方法研究[J]
.小型微型计算机系统,2004,25(11):2036-2039.
3
章程.
用于支持契约的AOP代码生成器的研究与实现[J]
.微型电脑应用,2007,23(1):1-4.
4
李慧,谢里阳,吴克勤,单鹏.
企业级设计经验、教训研究[J]
.机电产品开发与创新,2004,17(6):14-16.
被引量:3
5
张嘉铭,张思博,赵建军.
基于契约式设计的Java编译器实现[J]
.微型电脑应用,2007,23(3):14-16.
被引量:2
6
Bill Venners.
契约式设计之父——Bertrand Meyer访谈[J]
.程序员,2004(1):45-49.
7
章程,赵建军,沈备军,陈昊鹏.
支持契约式设计的Java静态验证器的研究[J]
.计算机应用与软件,2008,25(5):134-136.
被引量:1
8
胡宏银,何成万.
AOP中方面冲突自动检测方法研究[J]
.计算机工程与设计,2012,33(8):3064-3068.
9
张思博.
基于AOP在组件开发中支持契约的研究与实现[J]
.微型电脑应用,2006,22(12):41-44.
10
戴维标.
基于契约式设计的VeriJava编程语言设计[J]
.江苏第二师范学院学报,2014,30(11):15-17.
程序员
2004年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部