软件工程卷2
2010-1
清华大学出版社
比约尼尔
646
在妻子和我的家中，有许多纪念品。它们来自于我们对中国超过50次的访问以及我在中国澳门担任由联合国和中国共同创建的联合国大学国际软件技术研究院的首任院长为期5年时问的纪念品：20多件从18世纪60年代到1910年的清代花瓶；三套成对的中国灯挂椅、马掌椅、低背椅。这些和一张非常棒的一米宽、两米长的黄花梨四柱卧床（原名如此！）装饰了我们的大客厅——伴上精雕细刻的中国屏风和五彩斑斓的中国玻璃窗，它们时时刻刻都让我们想起一个伟大的文化和卓越的工艺。14年前我们的女儿和一位年轻的中国人结婚了，他们和我们的两个外孙女促使我们更加热爱中国和中国人民。所以在2006年8月当刘伯超博士和他的同事们询问是否可以翻译我的三卷著作的时候，我自然会欣然接受了。我的著作，它代表着25年的劳动：思考、教学和写作。我非常高兴中国的优秀青年现在能够学习我的著作了。要想真正成为计算科学和软件工程的专家，你必须要喜欢阅读和写作。现在你有机会来阅读了。阅读的同时，把你的所学应用到书写漂亮、抽象的规约中来。我祝你愉快。我真心希望我的读者将享受计算科学、程序设计和软件工程的实践，就像我所享受到的并仍在享受它一样。
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines BjOrner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。 这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。 这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而日在工业和计算机产、世界也具有极大的实用价值。
作者：(德国)比约尼尔(Dines Bjorner) 译者：刘伯超 向剑文 等
原著作者为中文版所作的序译者译序言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:系统与语言规约》：世界著名计算机教材精选。
个人看法：本书更像一本动员大家，反复说重要，出处在那里，等到要叙述的时候，又没有说透，估计是比较精炼的。到了本书的译者手上，那就不知所云了。大概是学生吧，中文都没有学好，词汇特少，颠三倒四，每一句话都是模棱两可。当你以极大的耐心，读完一句话，都受到一次折磨。我不想再花时间了，希望有人补充，这本书中荒唐的翻译！建议出版部门对该书的翻译、责任编辑提出谴责！建议读者不要买，你不会从书中得到知识。本书的翻译可以看作一个范例，一个项目在一个没有责任心的项目负责人手里会变成什么样子。