时序逻辑程序设计与软件工程 下 软件工程方法与工具PDF电子书下载

第一章 绪论 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