软件工程卷1 2025 pdf epub mobi 电子书

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

软件工程卷1 2025 pdf epub mobi 电子书著者简介

软件工程卷1 电子书图书目录

下载链接在页面底部

下载链接1
下载链接2
下载链接3

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2025-03-23

软件工程卷1 2025 pdf epub mobi 电子书

喜欢软件工程卷1 电子书的读者还喜欢

软件工程卷1 电子书读后感

评分☆☆☆☆☆

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

出版者:清华大学

作者:比约纳

出品人:

页数:710

译者:

出版时间:2007-7

价格:79.00元

装帧:

isbn号码:9787302154280

丛书系列:

图书标签: 软件工程计算机科学计算机技术抽象

软件工程卷1 2025 pdf epub mobi 电子书图书描述

《软件工程卷1-3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjoiner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。. 　　　《软件工程卷1：抽象与建模》介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言，比如B、VDM-SL和Z都具有面向模型的概念，本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式(函数式)、命令式和并发式(并行式)规约程序设计的基本原则。最后，本卷给出了一个全面的软件工程术语表以及大量的索引和参考文献。　　　《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，然后讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用，语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术……

软件工程卷1 2025 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!