Software engineering.3,Domains, requirements, and software design
作者： (丹)Dines Bjфrner著;刘伯超，向剑文等译
出版社：清华大学出版社,2010
简介： 《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学
家Dines Bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过
程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方
法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并
重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶
段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软
件开发的正确性和有效性。
《软件工程卷3：领域、需求与软件设计》介绍了整体软件开发的基本
原理和技巧：从领域描述，经过需求分析，直到软件设计。本卷倡导一种
全新的软件工程开发模式：在需求被形式化之前，人们必须理解应用领域
，因此本卷首先介绍领域描述的原理和技术，然后介绍从领域模型导出需
求规则的原理和技术，最后介绍细化需求到软件设计的原理和技术：体系
结构和组件设计。
这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30
年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇
编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书
的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大
量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步
骤；同时，这些原理、技术和工具是能够被应用于大型工业和商业软件的
开发项目中去的。
这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教
材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。
