《时序逻辑程序设计与软件工程 上 时序逻辑语言》求取 ⇩

上册 时序逻辑语言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/PE061

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/RBE107

第五章 实时程序设计107

5．2 从XYZ/SE到XYZ/RSE114

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