基于形式化的面向对象开发方法(FMOO)

• 作者: 杨红丽 王曙燕 韩俊刚
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 面向对象 形式化方法 形式化规格说明 形式化验证
• 年，卷（期）: 2000,（5）
• 所属期刊栏目: 软件技术
• 页码范围: 24-27
• 页数: 4页
• 分类号: TP311.11
• 字数: 4127字
• 语种: 中文

摘要

主要讨论如何把形式化方法应用于面向对象的软件开发过程中,以提高软件的安全性和可靠性,并给出一个小型交通控制系统的形式化规范和验证实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩俊刚	西安邮电学院计算机系	113	703	14.0	20.0
2	王曙燕	西安邮电学院计算机系	73	402	11.0	17.0
3	杨红丽	西安邮电学院计算机系	5	22	3.0	4.0