"《软件工程卷1:抽象与建模》是Dines Björner等编著的一本专业书籍,属于Texts in Theoretical Computer Science系列,由Springer出版。该书深入探讨了软件工程中抽象与建模的重要概念和技术。书中首先介绍了离散数学的基础,包括数、集合、函数等概念,接着讲解了面向属性和面向模型的规约原理,特别通过RAISE规约语言RSL来阐述这些概念。此外,书中还涵盖了应用式、命令式和并发式规约程序设计的基本原则,并提供了全面的软件工程术语表和丰富的索引及参考文献,旨在为读者提供全面的软件工程理论基础。" 本书的重点在于软件开发中的抽象和建模技术,这是软件工程中的核心部分。抽象帮助开发者将复杂的问题简化为更易于处理的部分,而建模则是将现实世界的问题转化为计算机可理解的形式。书中详细阐述了离散数学作为这些概念基础的重要性,离散数学是计算机科学的基石,它的概念如集合论、函数和逻辑在软件设计中有着广泛的应用。 在规约方面,作者介绍了不同类型的规约语言,如B、VDM-SL和Z,但主要通过RAISE规约语言RSL来具体讲解。RAISE是一种形式化方法,用于规格说明和系统验证,其面向模型的特性使得它在软件工程中具有较高的实用价值。同时,书中还讨论了应用式(函数式)、命令式和并发式(并行式)编程范式的规约设计,这些都是现代软件开发中常见的编程风格。 书中的内容不仅限于理论,还包含了38个图表,有助于读者直观理解复杂的概念。全面的软件工程术语表和详尽的索引则为读者提供了查阅和深入研究的便利。此外,参考文献列表为那些希望进一步探索特定主题的读者提供了宝贵的资源。 《软件工程卷1:抽象与建模》是一本适合软件工程师、计算机科学学生以及对软件开发理论感兴趣的人士阅读的专业著作,它提供了一个全面而深入的视角,帮助读者理解和掌握软件开发中的关键概念和技术。
![](https://csdnimg.cn/release/download_crawler_static/3708252/bg10.jpg)
![](https://csdnimg.cn/release/download_crawler_static/3708252/bg11.jpg)
![](https://csdnimg.cn/release/download_crawler_static/3708252/bg12.jpg)
![](https://csdnimg.cn/release/download_crawler_static/3708252/bg13.jpg)
![](https://csdnimg.cn/release/download_crawler_static/3708252/bg14.jpg)
剩余734页未读,继续阅读
![application/x-rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![application/msword](https://img-home.csdnimg.cn/images/20210720083327.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
- 粉丝: 1
- 资源: 4
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- 构建Cadence PSpice仿真模型库教程
- VMware 10.0安装指南:步骤详解与网络、文件共享解决方案
- 中国互联网20周年必读:影响行业的100本经典书籍
- SQL Server 2000 Analysis Services的经典MDX查询示例
- VC6.0 MFC操作Excel教程:亲测Win7下的应用与保存技巧
- 使用Python NetworkX处理网络图
- 科技驱动:计算机控制技术的革新与应用
- MF-1型机器人硬件与robobasic编程详解
- ADC性能指标解析:超越位数、SNR和谐波
- 通用示波器改造为逻辑分析仪:0-1字符显示与电路设计
- C++实现TCP控制台客户端
- SOA架构下ESB在卷烟厂的信息整合与决策支持
- 三维人脸识别:技术进展与应用解析
- 单张人脸图像的眼镜边框自动去除方法
- C语言绘制图形:余弦曲线与正弦函数示例
- Matlab 文件操作入门:fopen、fclose、fprintf、fscanf 等函数使用详解
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)