软件工程卷2 pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:

作者:比约尼尔

出品人:

页数:642

译者:

出版时间:2010-1

价格:79.00元

装帧:

isbn号码:9787302208914

丛书系列:世界著名计算机教材精选

图书标签:

软件工程
软件工程
软件开发
软件设计
软件测试
需求分析
系统设计
编码规范
项目管理
软件质量
软件维护

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

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

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

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

《软件工程导论》本书全面深入地探讨了软件工程的各个核心领域，旨在为读者构建一套系统、完整的软件工程知识体系。从软件开发的生命周期模型出发，详细阐述了需求工程、设计工程、实现工程、测试工程以及维护工程等关键阶段的理论、方法与实践。在需求工程部分，本书首先强调了理解和定义软件需求的重要性，并介绍了多种需求获取技术，如访谈、问卷调查、原型法、用例建模等。随后，重点讲解了需求规格说明书的编写原则与规范，包括功能性需求、非功能性需求、约束性需求以及用户界面需求等内容的清晰、准确表达。针对需求变更的管理，本书也提供了行之有效的策略和方法，以应对不断变化的用户期望和业务环境。设计工程是软件开发的核心环节。本书从概要设计和详细设计两个层面展开论述。在概要设计方面，介绍了模块化设计、数据流设计、面向对象设计等基本原则，并通过架构模式、设计模式等高级概念，引导读者构建出稳健、可扩展的软件架构。在详细设计部分，深入讲解了数据结构、算法、接口设计、用户界面设计等具体内容，并强调了设计文档的重要性，包括设计说明书、接口控制文档等。实现工程关注如何将设计转化为可执行的代码。本书涵盖了编程语言的选择、编码规范、代码复用、自动化构建等主题。强调了高质量代码的重要性，包括代码的可读性、可维护性、可测试性，以及如何利用版本控制系统（如Git）进行高效的代码协作与管理。测试工程是确保软件质量的关键。本书系统介绍了软件测试的不同层次与类型，包括单元测试、集成测试、系统测试、验收测试等。详细阐述了各种测试用例的设计方法，如等价类划分、边界值分析、错误推测等。同时，也涵盖了测试自动化、性能测试、安全测试等高级测试技术，以及如何构建有效的测试计划和报告。维护工程是软件生命周期中最长、成本最高的部分。本书深入探讨了软件维护的不同类型，如纠错性维护、适应性维护、完善性维护和预防性维护。重点讲解了如何有效地管理和执行软件维护活动，包括故障诊断、代码修改、版本更新、以及如何通过良好的设计和文档来降低维护成本。此外，本书还涉及了项目管理的诸多方面，包括项目启动、规划、执行、监控和收尾。详细介绍了项目进度管理、成本管理、质量管理、风险管理以及团队管理等关键要素。强调了敏捷开发方法论（如Scrum、Kanban）在现代软件开发中的应用，以及如何根据项目特点选择合适的开发模型。最后，本书还对软件过程改进、软件质量保证、软件度量以及新兴的软件工程技术（如DevOps、微服务架构、云原生开发）进行了介绍，为读者提供了更广阔的视野和前瞻性的指导。本书内容严谨，结构清晰，语言流畅，既适合作为高等院校计算机科学与技术、软件工程等专业的教材，也适合软件开发从业人员进行系统学习和技能提升。通过学习本书，读者将能够全面掌握软件工程的基本原理和先进方法，从而提高软件开发效率，保障软件质量，成为一名优秀的软件工程师。