程序设计方法学
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,程序设计,其他,
作者： （美）麦基弗（Mclver,A），（美）摩根（Morgan,C.）著，田玉敏等译
出 版 社： 水利水电出版社
出版时间： 2007-10-1字数： 533000版次： 1页数： 334印刷时间： 2007/10/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787508443683包装： 平装内容简介
本书重点介绍新的和正在出现的构造先进应用程序的技术，解决软件设计人员开发高度复杂的应用程序时必须要面临的问题。本书的主要内容包括：模型与正确性、程序设计技术以及应用和自动机理论。同时，给出了几个来自不同领域的应用实例，例如，安全、电话和电路设计等。
本书是先进的计算机软件理论和实践方面的权威性指导书，适合作为计算机科学家、程序设计人员和软件工程师的参考书。
目录
撰稿者名单
译者序
前言
第一部分模型与正确性
Section A并行与交互
第1章需要：并行性的组构方法
1.1组构性
1.2并发性的本质是干扰
1.3推理干扰
1.4关于假设/承诺推理的一些问题
1.5寄生变量的作用
1.6粒度所关心的事情
1.7抽象的原子性及其精化
1.8结论
1.9致谢
参考文献
第2章用契约强制行为
2.1引言
2.2契约
2.2.1状态与状态变化
2.2.2契约
2.2.3操作语义
2.2.4契约举例
2.2.5行动系统
2.2.6行动系统举例
2.3利用契约达到目标
2.3.1最弱的前置条件
2.3.2正确性与成功策略
2.3.3契约的精化
2.4强制行为属性
2.4.1分析行为
2.4.2构造解释程序
2.4.3其他暂态属性
2.5分析行动系统的行为
2.5.1行动系统的分类
2.5.2分析行为
2.6验证强制
2.6.1谓词级正确性条件
2.6.2基于不变量的方法
2.6.3示范方法
2.6.4例子系统中的强制性
2.7结论及相关工作
参考文献
Section B异步逻辑方法
第3章异步进展
3.1引言
3.2程序
3.3达成
3.4退耦
3.5举例——松耦合程序
3.6异步安全
3.7警告
3.8结论
3.9致谢
参考文献
第4章并发面向对象程序简化定理
4.1引言
4.2Seuss程序设计符号
4.2.1Seuss语法
4.2.2Seuss语义（可选）
4.3Seuss程序模型
4.4对程序的限制
4.4.1方框上的偏序
4.4.2把过程看作关系
4.4.3方框条件
4.5兼容性
4.5.1兼容性举例
4.5.2兼容过程的半交换性
4.6简化定理的证明
4.6.1松执行
4.6.2简化方案
4.7结束语
4.8致谢
参考文献
Section C系统与实时性
第5章抽象时间
第6章实时精华的谓词语义
Section D规定复杂的行为
第7章系统描述的方面
第8章建立动态系统的体系结构的模型
第9章“方法是什么？”——关于域工程方面的一篇短文
第二部分应用和自动机理论
Section E面向对象
第10章面向对象程序设计和软件开发——一种重要的评价方法
第11章指针和对象的痕迹模型
第12章作为堆不变量的对象模型
Section F类型理论
第14章类型系统
第15章类型的含义是什么？——从本质到外在语义
第三部分应用与自动机理论
Section G通过自动机将理论应用于实践
第16章利用推理、探索和抽象进行自动验证
第17章特征工程实验
Section H程序设计电路
第18章高级电路设计
Section I安全与保密
第19章能量分析：攻击与防御策略
第20章信息隐藏的概率方法
