deepsmart的博客

Springer-Verlag授权清华大学出版社的中译版。2010版。 本卷是有关软件工程原则与技术的3卷教材中的第3卷。通过这3卷书我们寅称我们腱示了形式技术（也被称之为形式方法）足如何可以在大规模开发项日巾得以最大限度地使用。我们进一步提出：我们现在可以有理由宜称不再有任何借不在开发的所有时期、阶段与步骤巾使用形式技术。通常给出这样的借口是由于缺少在超大规模软件开发中使用形式技术的全面指南。这里就是十分详细地告诉你如何米做其中绝大多数事情的一套丛书！ 当然，不是所有开发刻面现今都被详细说明到我们本希望可使用形式技术的层次。但是抑制使用现有的形式技术一一在我们或许不是那么谦逊的看法来看一完全足犯罪！正如这几卷以及许多现有的优秀的专著所揭求的那样：不使用这些技术的傲慢可以简单地归结为犯罪性的忽略。 一些所谓的软件工程实践者“坚持”缺乏管理指南。对于他们，我要说：一旦你已经理解这几卷的原则与技术，并且如果你另外具有一些管理经验和判断力，那么其余的自然就得到了。你和我可以“填写”这些管理原则与技术。 卷1的附录B包含个详尽的术语表，并且卷2的附录A包含一个我们命名规范的概览。

微软出版社授权的清华中译版的第2版，Karl E. Wiegers著。 本书共分4个部分。【第1部分】“什么是软件需求？为什么要实现软件需求？哪些人应参与软件需求”，包括第1章至第4章，这一部分一开始提出了一些定义，并描述了优秀需求具备的若干特性，如果你们是负责技术的一方，那么我希望你们能与重要客户共同阅读第2章中有关客户和开发人员合作伙伴关系这一部分。第3章介绍了业界需求开发和管理的几十个“良好实践”，以及需求开发的总体过程。第4章的主题是需求分析员的角色。 【第2部分】“软件需求开发”包括第5章至第17章。这～部分首先介绍了定义项目的业务需求所采用的方法。其他章节描述了如何找到合适的客户代表，获取他们的需求，以及将用例、业务规则、功能性需求和质量属性编写成文档。第1I章描述了几种分析模型，这些分析模型可以从不同的角度来表示需求。第13章描述了如何使用软件原型来减小风险。其余的章节提出了划分需求优先级和确认需求的各种方法。在这一部分的最后，描述了在某些特殊的项目情况下需求开发所面临的特殊难题，并研究了需求如何影响项目工作的其他方面。 【第3部分】“软件需求管理”包括18章至21章，这一部分的主题是需求管理的理论和实践，重点强调处理需求变更所用的方法。第20章描述丁如何通过需求可跟踪性将单个需求与它们的起源、F游开发的町交付成果联系起来，这一部分的最后舟绍了几种商业工具，这些工具能够进步改进管理项目需求使用的方法。 【最后一部分】“实现需求工程”包括第22章至附录D．帮助我们将理论概念运用到具体实践中。第22章将新的需求工程技术加入到项目组的开发过程中。第23章描述了与需求相关的些常见的项风险。

目录之后分三个章节： 一、总体目标； 二、总体架构； 具体包括：总体结构图、渠道表现接入层、服务层、业务层、数据层、部署图。 . 三、核心业务系统。 具体包括：机构管理、柜员管理、卡凭证管理、现金管理。 . 【总的来说】对于理解大型系统设计有一定借鉴作用。对于理解金融系统设计也有帮助。