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


软件工程卷3

简体网页||繁体网页
比约尼尔
2010-1
590
79.00元
世界著名计算机教材精选
9787302208921

图书标签: 软件工程  ComputerScience   


喜欢 软件工程卷3 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-23

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

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

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



图书描述

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

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

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

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

著者简介


图书目录


软件工程卷3 pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

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

评分

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

评分

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

评分

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

评分

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

读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

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


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有