没有合适的资源?快使用搜索试试~
我知道了~
文库首页
网络技术
其它
软件工程中的形式化方法研究综述
软件工程中的形式化方法研究综述
软件工程
需积分: 0
0 下载量
35 浏览量
2023-04-08
22:20:16
上传
评论
收藏
296KB
PDF
举报
温馨提示
立即下载
软件工程中形式化方法是以数学理论为基础建立的一种用来解决软件工程领域问题系统性分析方法。
资源推荐
资源评论
论文研究-CIM建模及模型形式化方法研究综述.pdf
浏览:109
以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent model,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动...
软件工程 实践者的研究方法 (原书 中文版 第六版).part06
浏览:29
5星 · 资源好评率100%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part07
浏览:133
5星 · 资源好评率100%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part01
浏览:95
4星 · 用户满意度95%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part05
浏览:83
4星 · 用户满意度95%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part02
浏览:9
4星 · 用户满意度95%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part09
浏览:19
4星 · 用户满意度95%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part04
浏览:9
4星 · 用户满意度95%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part03
浏览:120
4星 · 用户满意度95%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
软件工程 实践者的研究方法 (原书 中文版 第六版).part08
浏览:174
4星 · 用户满意度95%
●第五部分 软件工程高级课题,专门讲述了形式化方法、净室软件工程、基于构件的方法及再工程。 -------------------------------------------------------------------------------- 编辑推荐 《软件工程实践者...
论文研究 - 敏捷开发早期服务的系统发现:系统文献综述
浏览:79
近年来,敏捷方法已经在Web环境中开发软件的组织中得到了... 同时,已经找到了指导方针,以正规化解决此问题的方法,并通过在单个过程中提出基于敏捷技术的需求的形式化建议来填补知识空白,可以对服务组合进行管理。
一种将软件工程实践映射到本质的形式化方法-研究论文
浏览:97
本质框架(EF)旨在解决软件工程(SE)及其实践的核心问题。 作为一个相对较新的框架,EF的... 形式化方法采用基于概念代数的算法,并应用于Scrum案例研究中。 结果是有希望的,并且与当前EF相关文献中存在的结果不同。
智能需求获取与建模研究综述.pdf
浏览:140
需求获取和建模是指从需求文本或记录中获取显式和隐式的需求,并通过表格化、图形化、形式化等方法构建相应模型的过程,是软件开发过程中极为关键的一步,为后续系统设计与实现铺平道路,提高软件开发效率和质量,提升...
业务流程管理综述
浏览:107
火龙果软件工程技术中心 摘要:业务流程管理包括支持业务过程分析、设计、执行、管理的方法、技术及工具。它可以被看作是经典工作流管理系统和方法的扩展。本文主要介绍业务流程管理的基本概念、相关技术,以及讨论...
大数据文献综述.docx
浏览:159
信息资源管理文献综述 题目:大数据背景下的信息资源管理 系别:信息与工程学院 班级:2015级信本1班 姓名: 学号:15 任课教师: 2017年6月 大数据背景下的信息资源管理 摘要:随着网络信息化时代的日益普遍,我们...
在线手机销售系统论文综述
浏览:23
4星 · 用户满意度95%
在系统的设计与开发过程中严格遵守软件工程的规范,运用软件设计模式,从而减少系统模块间的偶合,力求做到系统的稳定性、可重用性和可扩充性。 本系统功能主要包括会员注册、帐户管理、购物车、搜索、结帐等基本...
安卓软件开发--毕业设计开题报告安卓软件文献翻译.docx
浏览:121
通过培训能够具有Android智能手机软件开发的设计思想,形成规范的代码编写习惯,掌握Android开发中各种功能点的实现方法和开发技巧。全面认识和了解Android系统的框架,掌握Android上进行应用程序开发的能力,熟悉...
算法导论(part1)
浏览:80
3星 · 编辑精心推荐
因此,我们不考虑出错处理和其他需要对读者所用编程环境有特定假设的软件工程问题。我们力求简单而直接地给出每一个算法,而不会让某种特定程序设计语言的特殊性掩盖算法的本质内容。 致我们的同事 .我们在本书中...
2023.10.21 雷蛇+鼠标宏+PUBG+绝地求生 步枪通用
浏览:124
左右会略有抖动,红点全息 调整 垂直 和 开镜灵敏度。倍镜灵敏度 如 4倍 50 抖动厉害慢慢减1调整,调整开镜灵敏度。
115转存助手ui优化版3.9.1网友魔改-转存提取全修复-user
浏览:14
115转存助手ui优化版3.9.1网友魔改_转存提取全修复_user
恩山新版中兴Telnet工具体验版-20230830.rar
浏览:123
3星 · 编辑精心推荐
恩山新版中兴Telnet工具体验版_20230830.rar
基于华为eNSP的校园网设计和仿真模拟.zip
浏览:30
5星 · 资源好评率100%
咳咳,我设置的应该是免费的,如果系统帮我改了,提醒我下,我去设置成免费
蓝牙驱动,解决win11下的设备管理器蓝牙报错提示为:Generic Bluetooth Adapter驱动感叹号解
浏览:148
用于解决蓝牙驱动问题。
大漠插件3.1233全套
浏览:118
大漠最后一个免费的插件,包含答题器,大漠后台系统,接口说明还有综合工具
csgo鼠标宏,lua格式
浏览:49
4星 · 用户满意度95%
如题
Chrome浏览器 v109.0.5414.75稳定版 64位 离线安装包
浏览:17
Chrome浏览器 v109.0.5414.75稳定版 64位 离线安装包 最新版本:v109.0.5414.75 稳定版 64位 稳定版32位
高逼格PPT模板20套.rar
浏览:165
3星 · 编辑精心推荐
高逼格41套ppt模板,模板多内容全面,各式各样都有,(本人也是自己在用的,看过绝对不后悔)肯定有你喜欢的一套.因为ppt模板都很好,,比较大,只上传了1-20套, 另外20套在另一个资源里上传,,觉得好的可以再下载.
OpenGD77刷机材料
浏览:52
OpenGD77刷机材料
yolov5的模型yolov5s.pt
浏览:123
5星 · 资源好评率100%
凭什么要收我们的钱啊??? 直接下
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
AE86Jag
粉丝: 43
资源:
18
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
单片机是集成处理器、存储器和输入输出设备
深度学习机器习方法模仿人脑神经网络深度学习机器习方法模仿人脑神经网络
djiango实现文件上传并显示的简单例子
用74LS161D实现十进制计数器
基于stm32f103的超声波测距
这是一个基于Python、Streamlit的非官方Suno API客户端,目前支持生成音乐,获取音乐信息等功能
Windows安装Oracle11g
YOLO 数据集:金属罐缺陷检测(4类别,包含训练集、验证集)
基于 Python和 FastAPI 的非官方 Suno API,目前支持生成歌曲,歌词等功能,自带维护 token 与保活功能
pic.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功