| 上册 时序逻辑语言 第一章 绪论 1.1程序技术研究30年 1.2哲学方法 1.3XYZ系统简介 第二章 时序逻辑语言XYZ/E的基础部分 2.1基本概念 2.2状态转换与单元 2.3三种不同形式的控制结构 2.4Horn子句语言XYZ/PE0 2.5指针 第三章 时序逻辑语言XYZ/E 3.1程序框架 3.2过程与函数 3.3包块 第四章 时序逻辑语言XYZ/E的并发成分 4.1进程与并行语句 4.2通信 4.3共享存储的并发进程 4.4面向对象的程序设计 4.5一种面向并发通信的计算过程的模块 4.6分布式程序设计 第五章 实时程序设计 5.1从XYZ/BE到XYZ/RBE 5.2从XYZ/SE到XYZ/RSE 5.3实时程序自动生成工具 5.4蒸汽锅炉实时控制问题 5.5混成系统在XYZ系统中的表示方法 第六章 模型与实现 6.1模型 6.2实现 第七章 程序规范与Hoare逻辑验证 7.1程序规范与程序性质 7.2Hoare逻辑 7.3活性验证问题 7.4一些与常用成分有关的验证问题 7.5并发通信进程无死锁的条件 附录Ⅰ 时序逻辑语言XYZ/E的语法公式表 附录Ⅱ XYZ/E的理论基础 参考文献 下册 软件工程方法与工具 第八章 XYZ/E可视化集成环境 8.1软件进化与软件开发过程 8.2面向开发过程的XYZ/CASE 8.3一个开发实例 第九章 规范导引的逐步求精过程与模型检验方法 9.1逐步求精过程 9.2基于XYZ/E重构SZRTOS实时操作系统内核 9.3速成原型方法 9.4模型检验方法 第十章 软件体系结构与XYZ系统 10.1软件体系结构 10.2软件体系结构的生命周期模型和建模 10.3软件体系结构建模语言XYZ/E描述 10.4典型体系结构风格的XYZ/ADL 10.5可视化体系结构设计工具XYZ/ADL 10.6基于组件的由静态语义向动态语义逐步过渡的程序设计方法 10.7协议描述与验证举例：RPC-Memory(远程调用-存储器)问题 第十一章 语言转换及其在软再造工程与专用领域软件开发等方面的应用 11.1语言的自动转换 11.2静态语义处理 11.3动态语义处理 11.4国际标准专用语言到XYZ/E的转换 |
内容加载中，请稍后...
商品评论（0条）