只为小站
首页
域名查询
文件下载
登录
首页
开发技术
硬件开发
软件工程卷3:领域、需求与软件设计
软件工程卷3:领域、需求与软件设计
上传者:
lycan305
|
上传时间: 2021-08-18 15:38:31
|
文件大小: 6.37MB
|
文件类型: RAR
软件工程
电子书
图灵
程序员
《软件工程卷1-3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjoiner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计,即软件工程的三个相互关联并重叠的组成部分,或称之为软件工程的“三部曲”。在软件开发的各个阶段,如果都能够采用这种形式化的开发模式,将能够在极大程度上保证软件开发的正确性和有效性。.◆ 《软件工程卷1:抽象与建模》介绍了抽象与建模的基本原理和技术。首先,本卷给出了离散数学的基本介绍,包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑,然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言,比如B、VDM-SL和Z都具有面向模型的概念,本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式(函数式)、命令式和并发式(并行式)规约程序设计的基本原则。最后,本卷给出了一个全面的软件工程术语表以及大量的索引和参考文献。◆ 《软件工程卷2:系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先,然后讲授一些高级的原理和技术:分层与组合、指称与计算以及构型:环境与状态的抽象与建模,然后讲授符号学建模的基本原理和技术:语用,语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题,比如模块(包括UML的类图)、Petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后,本卷介绍了开发函数式,命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生,以及研究程序设计方法学的学者的教材或参考书。...◆ 《软件工程卷3:领域、需求与软件设计》介绍了整体软件开发的基本原理和技巧:从领域描述,经过需求分析,直到软件设计。本卷倡导一种全新的软件工程开发模式:在需求被形式化之前,人们必须理解应用领域,因此本卷首先介绍领域描述的原理和技术,然后介绍从领域模型导出需求规则的原理和技术,最后介绍细化需求到软件设计的原理和技术:体系结构和组件设计。.这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践,加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中,所有的原理、技术和工具都是通过大量的案例分析来进行阐述,并覆盖了所有主要的软件开发时期、阶段和步骤,同时,这些原理、技术和工具是能够被应用于大型工业和商业软件的开发项目中去的。.这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书,而且在工业和计算机产业界也具有极大的实用价值。
文件下载
立即下载
资源详情
[{"title":"( 1 个子文件 6.37MB ) 软件工程卷3:领域、需求与软件设计","children":[{"title":"Software Engineering 3 - Domains,Requirements,and Software Design (Springer, 2006).pdf <span style='color:#111;'> 7.28MB </span>","children":null,"spread":false}],"spread":true}]
评论信息
flyfordream :
形式化开发,非常经典,好书
2014-10-01
rickie1988 :
英文版的,不过能够理解
2014-05-17
qq616991929 :
很经典的一本书,如果是中文版的就更好了
2014-03-30
donghexiliu11 :
比较有参考价值
2014-03-15
super0555 :
不错,就是英文读起来有些吃力
2013-11-12
其他资源
PCRat远控开源代码
Java POI下载Excel模板 Excel带有下拉框的模板
软件开发文档实例大全
数学建模_医院投入产出效率_matlab包络分析算法
android手机备忘录源代码
开关电源磁性元件理论及设计(带目录版)
基于TCP的网络聊天室的设计(一步一步教你CSocket网络编程)
非归档模式下的冷备份和恢复.txt
SumatraPDF-->云PDF
软考高项论文-风险管理
ShimmerLayout:已弃用-Supercharge为Android应用程序提供的高效内存闪烁效果-源码
Fluent 15.0 流体计算从入门到精通
PID控制算法的C语言实现(完整版)
磁悬浮系统现代控制系统设计论文
ascii读取及雷达数据的转换
读卡器使用DEMO的C++版本
安卓 语音
TensorFLow 使用 facenet 模型
linux下dhcp安装包
gaussian09安装
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
全国河流水文站坐标.xls
python爬虫数据可视化分析大作业.zip
基于VMD算法的信号降噪.rar
先进PID控制Matlab仿真第4版-PDF+代码.zip
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
基于Matlab的PI/4 DQPSK的调制解调源代吗
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
基于OpenCV的车牌号码识别的Python代码(可直接运行)
ChinaMeteorologicalDataHandler.R
基于MQ2烟雾传感器的STM32F103程序
基于matlab扩频通信系统仿真(整套代码)
mingw-w64-install.exe
科研伦理与学术规范 期末考试2 (40题).pdf
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
Spring相关的外文文献和翻译(含出处).zip
最新下载
AFSim软件全套工具集下载
基于动态规划(DP)算法的增程式EV能量管理策略研究(MATLAB编程).rar
STM32F4测频率、占空比工程
stm32实现modbus主机从机功能通信
SOCKET 多线程编程
labview搭建的客户端和服务端
Hungarian algorithm匈牙利算法matlab实现
labview tcp ip 编程实例
PSO-LSTM的matlab代码和例子
aspose-barcode-20.3-java.zip