|
题名:
|
Z规范及其使用方法 / 赵正旭, 温晋杰, 赵卫华著 , |
|
ISBN:
|
978-7-03-044787-6 价格： CNY40.00 |
|
语种:
|
chi |
|
载体形态:
|
144页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2015 |
|
内容提要:
|
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中, Z语言精确的描述软件系统”做什么”而不涉及”怎么做”, 只对目标软件系统进行功能描述。通过明确定义状态和操作来建立一个系统模型 (使系统从一个状态转换到另一个状态)。 |
|
主题词:
|
程序设计 方法 |
|
中图分类法:
|
TP311.11 版次： 5 |
|
主要责任者:
|
赵正旭 著 |
|
主要责任者:
|
温晋杰 著 |
|
主要责任者:
|
赵卫华 著 |
|
责任者附注:
|
赵正旭, 教育部第四批长江学者特聘教授, 博士生导师。石家庄铁道大学校长助理。 |
|
索书号:
|
5 |