软件工程卷3 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

比约尼尔作者

译者

2010-1 出版日期

590 页数

79.00元价格

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

9787302208921 图书编码

软件工程卷3 在线电子书图书标签: 软件工程 ComputerScience

喜欢软件工程卷3 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-22

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

软件工程卷3 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

软件工程卷3 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

软件工程卷3 在线电子书用户评价

评分☆☆☆☆☆

太TMD数学了。对实际生产指导意义不大，毕竟不能指望业务人员是数学家。

评分☆☆☆☆☆

太TMD数学了。对实际生产指导意义不大，毕竟不能指望业务人员是数学家。

评分☆☆☆☆☆

太TMD数学了。对实际生产指导意义不大，毕竟不能指望业务人员是数学家。

评分☆☆☆☆☆

充满形式化方法味道的软件工程书籍，看不懂也不丢人。。。

评分☆☆☆☆☆

充满形式化方法味道的软件工程书籍，看不懂也不丢人。。。

软件工程卷3 在线电子书著者简介

软件工程卷3 在线电子书图书目录

软件工程卷3 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

软件工程卷3 在线电子书图书描述

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

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

《软件工程卷3：领域、需求与软件设计》介绍了整体软件开发的基本原理和技巧：从领域描述，经过需求分析，直到软件设计。本卷倡导一种全新的软件工程开发模式：在需求被形式化之前，人们必须理解应用领域，因此本卷首先介绍领域描述的原现和技术，然后介绍从领域模型导出需求规则的原理和技术，最后介绍细化需求到软件设计的原理和技术：体系结构和组件设计。

软件工程卷3 在线电子书下载 mobi epub pdf txt 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!