除了C语言,C++······竟然还有Z语言?
2024-08-31 19:55:09
只能说自己见识短,头一次听说Z语言。先普及一下吧:
Z语言是由牛津大学程序设计研究小组开发的一种形式语言,它是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言,为编写计算机程序和验证计算机程序的正确性提供依据,是软件工程中编码之前的规格说明语言。
形式化描述语言Z指的是著名数学家Zermelo,它是目前使用最广泛的一种形式化描述语言,在软件产业的一些大型项目中已经获得成功的应用,Z以带等词的一阶谓词逻辑ZF(Zermelo-Fraenkel,蔡梅罗-弗兰科尔)公理集合论为主要数学基础。在Z中有两种语言:数学语言和模式(Schema)语言。数学语言用来描述系统的各种特征:对象及其之间的关系。模式语言是一种半图形化的语言,它用来构造、组织形式化说明的描述、整理、封装信息块并对其命名以便可以重用这些信息块。通常,形式化说明的可读性都不太好,但由于Z采用半图形化的模式语言,能用一种比较直观、有条理的方式来表达形式化说明,这就改善了可读性。
或许这些高深的解释你不懂,反正我不怎么懂,大家看看实例应该就明白一些了,看下图:
图 停车场管理系统
最新文章
- java中 set,list,array(集合与数组)相互转换
- Bootstrap的Affix与ScrollSpy用法 bootstrap-scrollspy &;&; bootstrap-dropdown
- 牛顿法与拟牛顿法,DFP法,BFGS法,L-BFGS法
- 手机端MVC-js框架-Gillie-中文版本
- HDU 2187 A sequence of numbers
- Linux系统编程(14)——shell常用命令
- 【Android进阶】关于PagerAdapter的使用方法的总结
- 机器学习学习-Types of learning
- 简学Python第三章__函数式编程、递归、内置函数
- less 基础+ flex
- C博客作业04--数组
- Python来袭,教你用Neo4j构建“复联4”人物关系图谱!
- easyui 单元格超出鼠标放上弹出全部
- linux操作系统不重启添加raid0步骤
- DQN(Deep Reiforcement Learning) 发展历程(三)
- Eclipse 汉化方法
- 数学符号arg含义
- 51nod 1629 B君的圆锥
- AES,SHA1,DES,RSA,MD5区别
- JSTL-1
热门文章
- vue请求本地自己编写的json文件。
- 浅析 golang interface 实现原理
- stat命令的实现-mysate 20155239吕宇轩
- 本地使用xshell连接本地虚拟机
- 4513: [Sdoi2016]储能表
- c# 抓取和解析网页,并将table数据保存到datatable中(其他格式也可以,自己去修改)
- [Luogu4921]情侣?给我烧了![错位排列]
- bootstrap学习笔记(4)
- JS 四舍五入有小数点
- Spring学习(十九)----- Spring的五种事务配置详解