10.3969/j.issn.1007-757X.2007.03.005
基于契约式设计的Java编译器实现
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善.
DBC、契约式设计、Java、编译器
23
TP312JA(计算技术、计算机技术)
2007-05-21(万方平台首次上网日期,不代表论文的发表时间)
共3页
14-16