一种基于Z和精化演算的形式化开发方法

• 作者: 李传湘 阮幼林
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Z 精化演算 模式 形式化规约
• 年，卷（期）: 2001,（5）
• 页码范围: 592-595
• 页数: 4页
• 分类号: TP311
• 字数: 3581字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2001.05.023

摘要

通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法.该方法利用Z良好的描述特性和扩充的类机制,将系统规约直接定义成精化演算中的抽象程序,然后用精化规则对抽象程序逐步精化,直到可执行程序.最后给出了一个简单例子

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李传湘	武汉水利电力大学计算机科学与技术系	3	54	3.0	3.0
2	阮幼林	武汉水利电力大学计算机科学与技术系	2	49	2.0	2.0