一种从Z到精化演算的软件开发方法

• 作 者: 查鸣 王云峰 郑国梁
• 机 构: 南京大学计算机科学系,软件新技术国家重点实验室,南京,210093
• 出 处: 计算机科学
• 发表日期: 2004年期
• 关键词: Z Specification Refinement calculus

A software development method was introduced in the paper, First we wrote tormal specification in Z and implemented the data refinement. Then we translated it into the refinement calculus notation. Finally we used the laws ot the refinement calculus to develop abstract programs into executable code. Translation rules from Z specification to abstract programs were represented.