软件工程卷3:领域、需求与软件设计
点击看大图基本信息
- 作者： Dines Bjorner
- 译者： 刘伯超 向剑文
- 丛书名： 世界著名计算机教材精选
- 出版社：清华大学出版社
- ISBN：9787302208921
- 上架时间：2009-12-25
- 出版日期：2010 年1月
- 开本：16开
- 页码：590
- 版次：1-1
- 所属分类：
计算机 > 软件工程及软件方法学 > 软件方法/软件工程
教材 > 计算机教材 > 本科/研究生 > 计算机专业教材 > 计算机专业课程 > 软件工程
内容简介回到顶部↑
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家dines bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极人程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法沦的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析末进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工和商业软件的开发项目中去的。
这套从书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。
《软件工程卷3：领域、需求与软件设计》介绍了整体软件开发的基本原理和技巧：从领域描述，经过需求分析，直到软件设计。本卷倡导一种全新的软件工程开发模式：在需求被形式化之前，人们必须理解应用领域，因此本卷首先介绍领域描述的原现和技术，然后介绍从领域模型导出需求规则的原理和技术，最后介绍细化需求到软件设计的原理和技术：体系结构和组件设计。
这套从书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。
《软件工程卷3：领域、需求与软件设计》介绍了整体软件开发的基本原理和技巧：从领域描述，经过需求分析，直到软件设计。本卷倡导一种全新的软件工程开发模式：在需求被形式化之前，人们必须理解应用领域，因此本卷首先介绍领域描述的原现和技术，然后介绍从领域模型导出需求规则的原理和技术，最后介绍细化需求到软件设计的原理和技术：体系结构和组件设计。
目录回到顶部↑
原著作者为中文版所作的序
译者序
前言
i开篇
1三部曲范式
1.1软件工程的描绘
1.2软件工程三部曲
1.3开发的时期、阶段与步骤
1.4三部曲过程模型——首次考虑
1.5第1章的结论
1.6文献评注
1.7练习
2文档
2.1文档编制就是全部
2.2文档部分的种类
2.3可交付物
2.4信息文档部分
2.5描述文档部分
2.6分析文档部分
2.7讨论
译者序
前言
i开篇
1三部曲范式
1.1软件工程的描绘
1.2软件工程三部曲
1.3开发的时期、阶段与步骤
1.4三部曲过程模型——首次考虑
1.5第1章的结论
1.6文献评注
1.7练习
2文档
2.1文档编制就是全部
2.2文档部分的种类
2.3可交付物
2.4信息文档部分
2.5描述文档部分
2.6分析文档部分
2.7讨论
译者序回到顶部↑
本书是世界著名的计算机科学家Dines Bjorner教授对其所从事的软件工程研究的总结。
这几卷书主要讲述了如何使用形式方法指导软件工程的开发，特别是作者独创性地提出了领域工程这一全新的研究领域并在第3卷中予以系统的论述。作者结合RAISE(工业软件开发的严格方法)规约语言，详细阐释了在软件的领域分析、需求分析、软件设计和开发的各个阶段，如何采用形式方法来指导软件开发模式，来保证软件开发的可靠性和正确性。
在翻译的过程中，译者得到了Dines Bjorner教授的大力支持。他非常关心中国学者在软件工程这一领域的研究，热心推动我们将他的三卷著作介绍给中国读者。
向剑文翻译了前言和第1章，刘伯超翻译了第2~16、19~21、26~32章以及附录，都玉水翻译了第17~18、22~25章。参加翻译和校对工作的还有田璟、王明华、袁春阳、李智伟、周琼琼、楚国华、齐亮、司慧勇、陈永然、李佳。限于译者水平，译文中难免会出现一些错误和不妥之处，敬请读者和专家予以批评指正。
这几卷书主要讲述了如何使用形式方法指导软件工程的开发，特别是作者独创性地提出了领域工程这一全新的研究领域并在第3卷中予以系统的论述。作者结合RAISE(工业软件开发的严格方法)规约语言，详细阐释了在软件的领域分析、需求分析、软件设计和开发的各个阶段，如何采用形式方法来指导软件开发模式，来保证软件开发的可靠性和正确性。
在翻译的过程中，译者得到了Dines Bjorner教授的大力支持。他非常关心中国学者在软件工程这一领域的研究，热心推动我们将他的三卷著作介绍给中国读者。
向剑文翻译了前言和第1章，刘伯超翻译了第2~16、19~21、26~32章以及附录，都玉水翻译了第17~18、22~25章。参加翻译和校对工作的还有田璟、王明华、袁春阳、李智伟、周琼琼、楚国华、齐亮、司慧勇、陈永然、李佳。限于译者水平，译文中难免会出现一些错误和不妥之处，敬请读者和专家予以批评指正。
前言回到顶部↑
概述
本卷是有关软件工程的工程原则与技术的三卷教材中的第3卷。通过这三卷书我们宣称我们展示了形式技术(也被称之为形式方法)是如何可以在大规模开发项目中得以最大限度地使用。我们进一步提出：我们现在可以有理由宣称不再有任何借口不在开发的所有时期、阶段与步骤中使用形式技术。通常给出这样的借口是由于缺少在超大规模软件开发中使用形式技术的全面指南。这里就是十分详细地告诉你如何来做其中绝大多数事情的一套丛书!
当然，不是所有开发刻面现今都被详细说明到我们本希望可使用形式技术的层次。但是抑制使用现有的形式技术——在我们或许不是那么谦逊的看法来看——完全是犯罪!正如这几卷以及许多现有的优秀的专著所揭示的那样：不使用这些技术的傲慢可以简单地归结为犯罪性的忽略。
一些所谓的软件工程实践者“坚持”缺乏管理指南。对于他们，我要说：一旦你已经理解这几卷的原则与技术，并且如果你另外具有一些管理经验和判断力，那么其余的自然就得到了。你和我可以“填写”这些管理原则与技术。
卷1的附录B包含一个详尽的术语表，并且卷2的附录A包含一个我们命名规范的概览。
卷3的简要指南
本卷有多种学习方法。任何从图2中标号为1的输入节点(即章)到标号为32的输出节点的路径都可以形成一个课程。让我们简要地阐述图2如下：
软件工程的基础课程：最小的课程包括第1、2、5、8、11、16、17、19、24~26、30~32章，
即图2的所有左边列章节。
领域工程：集中讨论领域工程的课程另外包括第9、10与第12~15章。
需求工程：集中讨论需求工程的课程除了基础课程之外还包括第18与第20~23章。
软件设计：集中讨论软件设计的课程除了基础课程之外还包括第27~29章。
任一上面概述的四种课程可以以两种方式的任一一种给出：
非形式的：以这种方式学习本卷的读者可以略过形式化部分而只关注非形式的材料。换言之，学习本卷基本上且实际上可以不先学习卷1或卷1与卷2。
形式的：以这种方式学习本卷的读者需要学习所有非形式及形式的材料——因此学习本卷的
一个先决条件是至少先学习了卷1。
Dines Bjorner
丹麦技术大学，2005-2006
本卷是有关软件工程的工程原则与技术的三卷教材中的第3卷。通过这三卷书我们宣称我们展示了形式技术(也被称之为形式方法)是如何可以在大规模开发项目中得以最大限度地使用。我们进一步提出：我们现在可以有理由宣称不再有任何借口不在开发的所有时期、阶段与步骤中使用形式技术。通常给出这样的借口是由于缺少在超大规模软件开发中使用形式技术的全面指南。这里就是十分详细地告诉你如何来做其中绝大多数事情的一套丛书!
当然，不是所有开发刻面现今都被详细说明到我们本希望可使用形式技术的层次。但是抑制使用现有的形式技术——在我们或许不是那么谦逊的看法来看——完全是犯罪!正如这几卷以及许多现有的优秀的专著所揭示的那样：不使用这些技术的傲慢可以简单地归结为犯罪性的忽略。
一些所谓的软件工程实践者“坚持”缺乏管理指南。对于他们，我要说：一旦你已经理解这几卷的原则与技术，并且如果你另外具有一些管理经验和判断力，那么其余的自然就得到了。你和我可以“填写”这些管理原则与技术。
卷1的附录B包含一个详尽的术语表，并且卷2的附录A包含一个我们命名规范的概览。
卷3的简要指南
本卷有多种学习方法。任何从图2中标号为1的输入节点(即章)到标号为32的输出节点的路径都可以形成一个课程。让我们简要地阐述图2如下：
软件工程的基础课程：最小的课程包括第1、2、5、8、11、16、17、19、24~26、30~32章，
即图2的所有左边列章节。
领域工程：集中讨论领域工程的课程另外包括第9、10与第12~15章。
需求工程：集中讨论需求工程的课程除了基础课程之外还包括第18与第20~23章。
软件设计：集中讨论软件设计的课程除了基础课程之外还包括第27~29章。
任一上面概述的四种课程可以以两种方式的任一一种给出：
非形式的：以这种方式学习本卷的读者可以略过形式化部分而只关注非形式的材料。换言之，学习本卷基本上且实际上可以不先学习卷1或卷1与卷2。
形式的：以这种方式学习本卷的读者需要学习所有非形式及形式的材料——因此学习本卷的
一个先决条件是至少先学习了卷1。
Dines Bjorner
丹麦技术大学，2005-2006
序言回到顶部↑
在妻子和我的家中，有许多纪念品。它们来自于我们对中国超过50次的访问以及我在中国澳门担任由联合国和中国共同创建的联合国大学国际软件技术研究院的首任院长为期5年时间的纪念品：20多件从18世纪60年代到1910年的清代花瓶：三套成对的中国灯挂椅、马掌椅、低背椅。这些和一张非常棒的一米宽、两米长的黄花梨四柱卧床(原名如此!)装饰了我们的大客厅——伴上精雕细刻的中国屏风和五彩斑斓的中国玻璃窗，它们时时刻刻都让我们想起一个伟大的文化和卓越的工艺。14年前我们的女儿和一位年轻的中国人结婚了，他们和我们的两个外孙女促使我们更加热爱中国和中国人民。
所以在2006年8月当刘伯超博士和他的同事们询问是否可以翻译我的三卷著作的时候，我自然会欣然接受了。我的著作，它代表着25年的劳动：思考、教学和写作。我非常高兴中国的优秀青年现在能够学习我的著作了。
要想真正成为计算科学和软件工程的专家，你必须要喜欢阅读和写作。现在你有机会来阅读了。阅读的同时，把你的所学应用到书写漂亮、抽象的规约中来。
我祝你愉快。我真心希望我的读者将享受计算科学、程序设计和软件工程的实践，就像我所享受到的并仍在享受它一样。
Dines Borner
Holte，丹麦，2007年8月
所以在2006年8月当刘伯超博士和他的同事们询问是否可以翻译我的三卷著作的时候，我自然会欣然接受了。我的著作，它代表着25年的劳动：思考、教学和写作。我非常高兴中国的优秀青年现在能够学习我的著作了。
要想真正成为计算科学和软件工程的专家，你必须要喜欢阅读和写作。现在你有机会来阅读了。阅读的同时，把你的所学应用到书写漂亮、抽象的规约中来。
我祝你愉快。我真心希望我的读者将享受计算科学、程序设计和软件工程的实践，就像我所享受到的并仍在享受它一样。
Dines Borner
Holte，丹麦，2007年8月
加载中...
