软件工程卷2

作者简介

《软件工程卷2:系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。

这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。

《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块(包括UML的类图)、Petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。

书籍目录

原著作者为中文版所作的序译者译序言I　开篇　1　序言II　规约刻面　2　层次与复合　3　指称和计算　4　格局：上下文和状态III　关键领域和系统刻面　5　时间、空间和空间/时间IV　语言学　6　语用　7　语义　8　句法　9　符号体系V　其他规约技术　　10　模块化　11　自动机和机器VI　并发和时态　12　佩特里网　13　消息和活序列图　14　状态图　15　时间的定量模型　VII　解释器和编译器定义　16　SAL：简单应用式语言　17　SIL：简单命令式语言　18　SMIL：简单模块命令式语言　19　SPIL：简单并行命令式语言VIII　结束语　20　结束语IX　附录

编辑推荐

《软件工程卷2:系统与语言规约》：世界著名计算机教材精选。

前言

在妻子和我的家中，有许多纪念品。它们来自于我们对中国超过50次的访问以及我在中国澳门担任由联合国和中国共同创建的联合国大学国际软件技术研究院的首任院长为期5年时问的纪念品：20多件从18世纪60年代到1910年的清代花瓶；三套成对的中国灯挂椅、马掌椅、低背椅。这些和一张非常棒的一米宽、两米长的黄花梨四柱卧床（原名如此！）装饰了我们的大客厅——伴上精雕细刻的中国屏风和五彩斑斓的中国玻璃窗，它们时时刻刻都让我们想起一个伟大的文化和卓越的工艺。14年前我们的女儿和一位年轻的中国人结婚了，他们和我们的两个外孙女促使我们更加热爱中国和中国人民。所以在2006年8月当刘伯超博士和他的同事们询问是否可以翻译我的三卷著作的时候，我自然会欣然接受了。我的著作，它代表着25年的劳动：思考、教学和写作。我非常高兴中国的优秀青年现在能够学习我的著作了。要想真正成为计算科学和软件工程的专家，你必须要喜欢阅读和写作。现在你有机会来阅读了。阅读的同时，把你的所学应用到书写漂亮、抽象的规约中来。我祝你愉快。我真心希望我的读者将享受计算科学、程序设计和软件工程的实践，就像我所享受到的并仍在享受它一样。

内容概要

作者：(德国)比约尼尔(Dines Bjorner) 译者：刘伯超 向剑文 等

章节摘录

插图：

图书封面

---

 软件工程卷2下载

---