形式方法与面向对象方法的结合探讨

• 作者: 朱关铭 李刚 童頫
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件工程 规格说明语言 形式方法 面向对象方法
• 年，卷（期）: 1998,（1）
• 所属期刊栏目: 软件技术研究与实现
• 页码范围: 13-16,69
• 页数: 5页
• 分类号: TP3
• 字数: 6121字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.1998.01.004

摘要

文中讨论了形式方法和面向对象方法各自的优缺点,结合作者设计的面向对象形式规格说明语言OOZS,介绍了将这两种方法结合起来的三种途径,并对这三种途径进行了分析、评价和对比,最后提出了今后的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李刚	上海大学计算机科学系	19	68	6.0	7.0
2	童頫	上海大学计算机科学系	4	22	3.0	4.0
3	朱关铭	上海大学计算机科学系	3	15	3.0	3.0