除了C语言,C++······竟然还有Z语言?
2015-02-12 21:38
309 查看
只能说自己见识短,头一次听说Z语言。先普及一下吧:
Z语言是由牛津大学程序设计研究小组开发的一种形式语言,它是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言,为编写计算机程序和验证计算机程序的正确性提供依据,是软件工程中编码之前的规格说明语言。
形式化描述语言Z指的是著名数学家Zermelo,它是目前使用最广泛的一种形式化描述语言,在软件产业的一些大型项目中已经获得成功的应用,Z以带等词的一阶谓词逻辑ZF(Zermelo-Fraenkel,蔡梅罗-弗兰科尔)公理集合论为主要数学基础。在Z中有两种语言:数学语言和模式(Schema)语言。数学语言用来描述系统的各种特征:对象及其之间的关系。模式语言是一种半图形化的语言,它用来构造、组织形式化说明的描述、整理、封装信息块并对其命名以便可以重用这些信息块。通常,形式化说明的可读性都不太好,但由于Z采用半图形化的模式语言,能用一种比较直观、有条理的方式来表达形式化说明,这就改善了可读性。
或许这些高深的解释你不懂,反正我不怎么懂,大家看看实例应该就明白一些了,看下图:
图 停车场管理系统
Z语言是由牛津大学程序设计研究小组开发的一种形式语言,它是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言,为编写计算机程序和验证计算机程序的正确性提供依据,是软件工程中编码之前的规格说明语言。
形式化描述语言Z指的是著名数学家Zermelo,它是目前使用最广泛的一种形式化描述语言,在软件产业的一些大型项目中已经获得成功的应用,Z以带等词的一阶谓词逻辑ZF(Zermelo-Fraenkel,蔡梅罗-弗兰科尔)公理集合论为主要数学基础。在Z中有两种语言:数学语言和模式(Schema)语言。数学语言用来描述系统的各种特征:对象及其之间的关系。模式语言是一种半图形化的语言,它用来构造、组织形式化说明的描述、整理、封装信息块并对其命名以便可以重用这些信息块。通常,形式化说明的可读性都不太好,但由于Z采用半图形化的模式语言,能用一种比较直观、有条理的方式来表达形式化说明,这就改善了可读性。
或许这些高深的解释你不懂,反正我不怎么懂,大家看看实例应该就明白一些了,看下图:
图 停车场管理系统
相关文章推荐
- java语言类似c语言及c++
- iPhone开发入门(7)--- 从C/C++语言到Objective-C语言
- 排序算法,基本的高级语言都有一些提供。C语言有qsort()函数,C++有sort()函数,java语言有Arrays类(不是Array)。用这些排序时,都可以写自己的排序规则。
- 还有C++ C#与C语言有什么根本的差别
- 关于A+B+C问题4种语言的解决办法,Java、C语言、C++、Python
- 《C++精英内参之程序员高效指南》-11常用的读代码方法除了写注释的,还有其他方法
- iPhone开发入门(3)--- 从C/C++语言到Objective-C语言
- 从C/C++语言到Objective-C语言
- C语言与C++语言函数互相调用
- c++语言与C语言的区别
- 除了喜怒哀乐外还有许多的感情我们难以用语言文字表述
- 从C/C++语言到Objective-C语言
- 一个程序在C语言和C++语言环境下得到不同结果
- SODBASE CEP学习进阶篇(一):除了Java还有C++
- C语言中文件路径名的“双斜杠”和“单斜杠”的易错点(适用于C++和JAVA等语言)
- C语言注释转化为C++注释(C语言实现)
- c++高级---C语言中的类型提升——基础概念,但还有很多人搞不清
- 第十周 字符串除了用C++扩充的string类型外,按C语言的传统,还可以用char *表示
- iPhone开发入门(7)— 从C/C++语言到Objective-C语言
- 从C/C++语言到Objective-C语言