• 
  时序逻辑程序设计...
  ￥22.40元
• 
  时序逻辑程序设计...
  ￥23.70元
• 
  时序逻辑程序设计...
  ￥23.70元

本书旨在介绍一种面向软件工程的时序逻辑语言(XYZ／E)及以该语言为基础的支撑软件开发全过程的软件工程系统(XYZ系统)，目标是希望能为一般工业界用户服务，以提高软件开发的自动化水平及所开发的软件的可靠性与可维护性。
全书共分上、下两册出版。上册介绍时序逻辑语言XYZ／E，内容包括XYZ系统研制的技术和哲学背景，XYZ／E的逻辑基础，XYZ／E的基本特征和基本成分，XYZ／E的控制结构，XYZ／E中所表示的各种机制，XYZ／E的实现，基于 XYZ／E的实时程序设计与混成系统表示，以及在 XYZ／E框架内的程序规范与Hoare逻辑验证等。下册介绍软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的应用，最后还介绍了语言转换工具及其在软件再造工程和某些专用领域中的应用，实时和混成系统的验证等。
本书适用于软件工程研究人员及教学人员阅读，也可供实际软件工作者参考。

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 上册 时序逻辑语言
  第一章 绪论
  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的转换
  11.5XYZ/E到Java的转换
  第十二章 连续时序逻辑与实时及混成系统的验证
  12.1连续语义线性时序逻辑LTLC
  12.2实时系统
  12.3混成系统
  参考文献
  名词索引
  后记