Z语言:谓词演算为主要理论基础的规约语言

Jack86542Jack 28 0 pdf 2019-03-11 01:03:05

将事物的状态和行为用数学符号形式化表达的语言,为编写计算机程序和验证计算机程序的正确性提供依据,是软件工程中编码之前的规格说明语言。   Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo,它是目前使用最广泛的一种形式化描述语言,在软件产业的一些大型项目中已经获得成功的应用,Z以带等词的一阶谓词逻辑ZF(Zermelo-Fraenkel,蔡梅罗-弗兰科尔)公理集合论为主要数学基础。在Z中有两种语言:数学语言和模式(Schema)语言。数学语言用来描述系统的各种特征:对象及其之间的关系。模式语言是一种半图形化的语言,它用来构

用户评论
请输入评论内容
评分:
Generic placeholder image 卡了网匿名网友 2019-03-11 01:03:05

英文原件,版本比较老,还算推荐

Generic placeholder image 卡了网匿名网友 2019-03-11 01:03:05

很不错的资源,z语言的规范化文档,谢谢分享!