0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 中图分类 > T 工业技术 > TP 自动化技术、计算机技术 > TP3 计算技术、计算机技术 > 时序逻辑程序设计与软件工程(下册)

相同语种的商品

浏览历史

时序逻辑程序设计与软件工程(下册)


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
时序逻辑程序设计与软件工程(下册)
  • 电子书不支持下载,仅供在线阅读
  • 书号:7030099281
    作者:唐稚松
  • 外文书名:
  • 装帧:平装
    开本:16开
  • 页数:264
    字数:364000
    语种:中文
  • 出版社:科学出版社
    出版时间:2002-11-05
  • 所属分类:
  • 定价: ¥28.00元
    售价: ¥16.80元
  • 图书介质:
    电子书

  • 购买数量: 件  可供
  • 商品总价:

内容介绍

样章试读

用户评论

全部咨询

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

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

  • 目录
    上册时序逻辑语言
    第一章 绪论
    1.1程序技术研究30年
    l..2哲学方法
    1.3XYZ系统简介
    第二章 时序逻辑语言XYZ/E的基础部分
    2.1基本概念
    2.2状态转换与单元
    2.3三种不同形式的控制结构
    2.4Hom子句语言XYZ/PEO
    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.l从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/SAE
    I0.4典型体系结构风格的XYZ/E描述
    10.5可视化体系结构设计工具XYZ/ADL
    10.6基于组件的由静态语义向动态语义逐步过渡的程序设计方法
    10.7协议描述与验证举例:RPC-Memory(远程调用-存储器)问题
    第十一章 语言转换及其在软件再造工程与专用领域软件开发等方面的应用
    11.1语言的自动转换
    11.2静态语义处理
    11.3动态语义处理
    11.4国际标准专用语言到XYZ/E的转换
    11.5XYZ/E到Jwa的转换
    第十二章 连续时序逻辑与实时及混成系统的验证
    12.1连续语义线性时序逻辑LTLC
    12.2实时系统
    12.3混成系统
    参考文献
    名词索引
    后记
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证