安娜贝拉·麦克维尔（编辑）;卡罗尔·摩根（编辑） 编程方法。 （英语） 兹比尔1030.68010 计算机科学专著。纽约州纽约市：斯普林格。xvii，469页（2003年）。 这本书是关于编程方法学各种主题的论文集。在国际信息处理联合会第2.3工作组成员的技术会议上，产生了将关于这一主题的文件汇编成一本书的想法。这本书是为了纪念IFIP的两位创始成员：O.J.Dahl和E.W.Dijkstra。这本书由三部分组成，每一部分都致力于编程方法学的一个主要主题。这些部分被进一步分为几个小节，在这些小节中，聚焦于特定主题的论文被汇集在一起。第一部分-模型和正确性包含A小节-并发和交互，B小节-异步的逻辑方法，C小节-系统和实时，D小节-指定复杂行为。第二部分——编程技术包含E小节——面向对象和F小节——类型理论。第三部分——应用和自动化理论包含G小节——通过自动化将理论付诸实践，以及I小节——安全和保密。J.Misra在“并发面向对象程序的约简定理”中介绍了一种并发程序的编程符号，称为Seuss，并表明在某些条件下，这些程序的并发执行等同于串行执行。由M.Jackson撰写的论文“系统描述的方面”描述了与现实世界中的系统开发相关的一些问题。它澄清了问题域中的“现实世界”需求和计算机接口中的抽象“程序规范”之间的区别。亨德森（P.Henderson）在《动态系统架构建模》（Modelling architecture for dynamic systems）一书中，关注的是为动态系统正式定义架构，以便在运行时更改其配置。M.Broy在“面向对象编程和软件开发——一项关键评估”中指出，当今的面向对象技术并不符合科学编程方法和软件工程的最新水平。B.C.Pierce在“类型系统”中讨论类型系统的动机和历史（用于自动证明某些程序行为的缺失）及其在编程语言设计中的作用。P.Zave在“特征工程实验”中提出了一种面向特征的规格说明方法。它由基本规范和功能模块组成，每个模块指定系统的一个单独功能。该方法以描述通信服务的模块化体系结构为例进行了说明。S.Chari等人在《功率分析：攻击和对策》一文中重点讨论了执行密码计算的系统的瞬时功耗所导致的信息泄漏。作者提出了一个系统功耗模型和一种通用编程技术，用于创建可证明安全的实现。本书编辑A.Melver和C.Morgan的上一篇文章涉及信息隐藏的概率方法。从本书20篇文章中选取的上述样本表明，这些主题涵盖了相对广泛的编程方法。作者大多假定对主题很熟悉并使用符号。每篇文章的结尾都有一套很好的参考文献。这本有趣的书可以推荐给积极从事这一领域工作的读者。审核人：伊万·马丁内克（普拉哈） 引用于1文件 MSC公司： 68号01 软件理论的一般主题 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：编程;系统描述;对象程序设计;编程电路;并发;异步的逻辑方法;对象方向;类型理论;相互作用 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver（编辑）和\textit{C.Morgan}（编辑），编程方法。纽约州纽约市：施普林格（2003年；兹bl 1030.68010）