时序逻辑程序设计与软件工程（上册时序逻辑语言）

定　价：¥25.00

作　者：	唐稚松等著
出版社：	科学出版社
丛编项：
标　签：	程序设计软件工程时序逻辑语言

ISBN：	9787030070067	出版时间：	1999-02-01	包装：
开本：	26cm	页数：	231页	字数：

内容简介

　　本书旨在介绍一种面向软件工程的时序逻辑语言及以该语言为基础的支撑软件开发全过程的软件工程系统，目标是希望能为一般工业界用户服务，以提高软件开发的自动化水平及所开发的软件的可靠性与可维护性。本书是作者近20年来研究成果的总结。全书共分上、下两册出版。上册介绍时序逻辑语言XYZ/E，内容包括XYZ系统研制的技术和哲学背景，XYZ/E的逻辑基础，XYZ/E的基本特征和基本成分，XYZ/E的控制结构，XYZ/E中所表示的各种机制，XYZ/E的实现，基于XYZ/E的实时程序设计，以及在XYZ/E框架内的程序规范与Hoare逻辑验证等。下册介绍软件工程方法与工具，内容包括基于模块程序设计的可视化图形工具，面向形式规范的逐步求精过程与速成原形方法，以可视图图形表示的体系结构描述语言XYZ/ADL及其软件开发过程中的应用；除以上三种不同软件开发方法外，最后还介绍了基于共享变量的程序验证方法、语言转换工具及其在软件再

作者简介

暂缺《时序逻辑程序设计与软件工程（上册时序逻辑语言）》作者简介

图书目录

上册  时序逻辑语言
第一章  结论
1.1 程序技术研究30年
1.2 哲学方法
1.3 XYZ系统简介
第二章  时序逻辑语言XYZ/E的基础部分
2.1 基本概念
2.2 状态转换与单元
2.3 三种不同的形式控制结构
2.4 Horn子句语言XYZ/PE0
2.5 指针
第三章  时序逻辑语言XYZ/E的基层模块
3.1 程序框架
3.2 过程与函数
3.3 包块
第四章  时序逻辑语言XYZ/E的并发成分
4.1 进程与并行语句
4.2 通信
4.3 共享存储的并发过程
4.4 面向对象的程序设计
4.5 一种面向并发通信的计算过程的模块
4.6 分布式程序设计
第五章  实时程序设计
5.1 从XYZ/BE到XYZ/RBE
5.2 从XYZ/SE到XYZ/RSE
5.3 实时程序自动生成工具
5.4 蒸汽锅炉实时控制问题
5.5 混成实时系统在XYZ系统中的表示方法
第六章  模型与实现
6.1 模型
6.2 实现
第七章  程序规范与Hoare逻辑验证
7.1 程序规范与程序性质
7.2 Hoare逻辑
7.3 活性验证问题
7.4 一些与常用成分有关的验证问题
7.5 并发通信进程无死锁的条件
附录I  时序逻辑语言XYZ/E的语法公式表
附录II XYZ/E的理论基础