- 作 者：唐稚松等著
- 出 版 社：北京：科学出版社
- 出版年份：1999
- ISBN：7030070062
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
上册 时序逻辑语言 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