基于契约式设计的Java编译器实现

• 作者: 张嘉铭 张思博 赵建军
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: DBC 契约式设计 Java 编译器
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 研究与设计
• 页码范围: 14-16
• 页数: 3页
• 分类号: TP312JA
• 字数: 4471字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2007.03.005

摘要

本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵建军	上海交通大学软件学院软件工程中心	12	35	3.0	5.0
2	张思博	上海交通大学软件学院软件工程中心	2	3	1.0	1.0
3	张嘉铭	上海交通大学软件学院软件工程中心	1	3	1.0	1.0