上册 时序逻辑语言 1
第一章 绪论 1
1.1 程序技术研究30年 1
1.2 哲学方法 20
1.3 XYZ系统简介 38
第二章 时序逻辑语言XYZ/E的基础部分 41
2.1 基本概念 41
2.2 状态转换与单元 46
2.3 三种不同形式的控制结构 54
2.4 Horn子句语言XYZ/PE0 61
2.5 指针 63
第三章 时序逻辑语言XYZ/E的基层模块 66
3.1 程序框架 66
3.2 过程与函数 69
3.3 包块 77
第四章 时序逻辑语言XYZ/E的并发成分 82
4.1 进程与并行语句 82
4.2 通信 84
4.3 共享存储的并发进程 91
4.4 面向对象的程序设计 93
4.5 一种面向并发通信的计算过程的模块 99
4.6 分布式程序设计 104
5.1 从XYZ/BE到XYZ/RBE 107
第五章 实时程序设计 107
5.2 从XYZ/SE到XYZ/RSE 114
5.3 实时程序自动生成工具 118
5.4 蒸汽锅炉实时控制问题 124
5.5 混成实时系统在XYZ系统中的表示方法 137
第六章 模型与实现 146
6.1 模型 146
6.2 实现 151
第七章 程序规范与Hoare逻辑验证 161
7.1 程序规范与程序性质 161
7.2 Hoare逻辑 164
7.3 活性验证问题 171
7.4 一些与常用成分有关的验证问题 173
7.5 并发通信进程无死锁的条件 192
附录I 时序逻辑语言XYZ/E的语法公式表 198
附录II XYZ/E的理论基础 214
参考文献 225
下册 软件工程方法与工具(预告) 225
第八章 基于模块的可视化程序设计工具 225
第九章 面向规范的逐步求精过程与语义一致性检验的方法与工具 225
第十章 基于组件并面向体系结构的逐步过渡过程与语义一致性检验的方法与工具 225
第十一章 关于程序正确性问题的进一步讨论 225
第十二章 语言转换及其在软件再造工程及专用领域软件开发等方面的应用 225
索引 225