两次数据精化的形式化软件开发方法

• 作者: 王维维 邢小英
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 过程 Z语育 规范 精化演算 PHP
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 102-104
• 页数: 3页
• 分类号: TP311
• 字数: 2794字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.01.036

摘要

提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法.传统Z规约数据精化很复杂.该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化.最后再数据精化到目标代码.以常见动态Web网页脚本语言PHP为例,阐述了该方法.并为此写了一套从过程到Z模式的转化规则,以及精化到PHP的精化规则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王维维	浙江大学计算机系	15	127	4.0	11.0
2	邢小英	浙江大学计算机系	10	13	3.0	3.0