首页 | 本学科首页   官方微博 | 高级检索  
     

一种基于Z和精化演算的形式化开发方法
引用本文:阮幼林,李传湘.一种基于Z和精化演算的形式化开发方法[J].小型微型计算机系统,2001,22(5):592-595.
作者姓名:阮幼林  李传湘
作者单位:武汉水利电力大学计算机科学与技术系,
摘    要:通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法。该方法利用Z良好的描述特性和扩充的类机制,将系统规约直妆定义成精化演算中的抽象程序,然后用精化规则对抽象程序逐步精化,直到可执行程序。最后给出了一个简单例子。

关 键 词:精化演算  软件开发  形式化开发方法  Z语言  软件工程
文章编号:1000-1220(2001)05-0592-04

A FORMAL DEVELOPMENT METHOD BASED ON Z AND REFINEMENT CALCULUS
RUAN,You-lin,LI,Chuan-xiang.A FORMAL DEVELOPMENT METHOD BASED ON Z AND REFINEMENT CALCULUS[J].Mini-micro Systems,2001,22(5):592-595.
Authors:RUAN  You-lin  LI  Chuan-xiang
Abstract:This paper presents a formal software development method . The method combines the data structuring capabilities and the extended type mechanism of Z and the refinement calculus ,which provides a formal path from design to implementation without unnecessary transformation of notation or the definition of a new calculus .It is illustrated by the development of a simple system.
Keywords:Z  Refinement calculus  Schema  Formal specification
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号