沈阳工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Z规范及其使用方法/赵正旭, 温晋杰, 赵卫华著

出版发行项:

北京:科学出版社,2015

ISBN及定价:

978-7-03-044787-6/CNY40.00

载体形态项:

144页:图;24cm

个人责任者:

赵正旭 著

个人责任者:

温晋杰 著

个人责任者:

赵卫华 著

学科主题:

程序设计-方法

中图法分类号:

TP311.11

责任者附注:

赵正旭, 教育部第四批长江学者特聘教授, 博士生导师。石家庄铁道大学校长助理。

书目附注:

有索引

提要文摘附注:

形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中, Z语言精确的描述软件系统”做什么”而不涉及”怎么做”, 只对目标软件系统进行功能描述。通过明确定义状态和操作来建立一个系统模型 (使系统从一个状态转换到另一个状态)。

豆瓣简介：