10.3969/j.issn.1000-3428.1998.01.004
形式方法与面向对象方法的结合探讨
文中讨论了形式方法和面向对象方法各自的优缺点,结合作者设计的面向对象形式规格说明语言OOZS,介绍了将这两种方法结合起来的三种途径,并对这三种途径进行了分析、评价和对比,最后提出了今后的研究方向.
软件工程、规格说明语言、形式方法、面向对象方法
24
TP3(计算技术、计算机技术)
国家高技术研究发展计划863计划863-306-05-09-16;上海市高等学校科技发展基金97A42
2005-08-18(万方平台首次上网日期,不代表论文的发表时间)
共5页
13-16,69