第一章 绪论 1
1.1 程序技术研究30年 1
1.2 哲学方法 21
1.3 XYZ系统简介 40
第二章 时序逻辑语言XYZ/E的基础部分 42
2.1 基本概念 42
2.2 状态转换与单元 47
2.3 三各不同形式的控制结构 55
2.4 Horn子句语言XYZ/PEO 62
2.5 指针 64
第三章 时序逻辑语言XYZ/E的基层模块 67
3.1 程序框架 67
3.2 过程与函数 70
3.3 包块 78
第四章 时序逻辑XYZ/E语言的并发成分 83
4.1 进程与并行语句 83
4.2 通信 86
4.3 面向对象的程序设计 93
4.4 面向对象的程序设计 95
4.5 一种面向并发通信的计算过程的模块 101
4.6 分布式程序设计 106
第五章 实时程序设计与混成系统表示 109
5.1 从XYZ/BE到XYZ/BBE 109
5.2 从XYZ/BE到XYZ/RBE 116
5.3 实时程序自动生成工具 120
5.4 蒸汽锅炉实时控制问题 126
5.5 混成系统在XYZ系统中的表示方法 139
第六章 模型与实现 148
6.1 模型 148
6.2 实现 153
第七章 程序规范与Hoare逻辑证 163
7.1 程序规范与程序性质 163
7.2 Hoare逻辑 166
7.3 活性验证问题 173
7.4 一些与常用成分有关的验证问题 175
7.5 并发通信问题无死锁的条件 194
附录Ⅰ XYZ/E的语法公式表 200
附录Ⅱ XYZ/E的理论基础 216
参考文献 232
第八章 XYZ/E可视化集成环境 241
8.1软件进化与软件开发过程 241
8.2面向开发过程的XYZ/CASE 247
8.3一个开发实例 262
第九章 规范导引的逐步求精过程与模型检验方法 267
9.1逐步求精过程 267
9.2基于XYZ/E重构SZRTOS实时操作系统内核 271
9.3速成原型方法 334
9.4模型检验方法 336
第十章 软件体系结构与XYZ况系统 344
10.1软件体系结构 344
10.2软件体系结构的生命周期模型和建模 350
10.3软件体系结构建模语言XYZ/SAE 354
I0.4典型体系结构风格的XYZ/E描述 359
10.5可视化体系结构设计工具XYZ/ADL 363
10.6基于组件的由静态语义向动态语义逐步过渡的程序设计方法 367
10.7协议描述与验证举例:RPC-Memory(远程调用-存储器)问题 386
第十一章 语言转换及其在软件再造工程与专用领域软件开发等方面的应用 424
11.1语言的自动转换 424
11.2静态语义处理 427
11.3动态语义处理 435
11.4国际标准专用语言到XYZ/E的转换 439
11.5XYZ/E到Jwa的转换 444
第十二章 连续时序逻辑与实时及混成系统的验证 451
12.2实时系统 456
12.3混成系统 464
参考文献 474
名词索引 482
后记 483