Essence Framework (EF)是一个解决软件工程及其实践核心问题的新型框架。本研究根据设计科学研究(DSR)方法的指导方针,采用基于概念代数的算法,并将其应用于Scrum案例研究中,以将软件实践映射到EF的概念域。该研究成果为“将新解决方案(形式化方法)应用于新问题(将软件实践映射到EF)”做出了贡献。与当前EF相关文献中存在的结果不同,本研究的结果非常有希望。
将Scrum案例研究应用于Essence Framework中的形式化方法
用户评论
推荐下载
-
软件形式化方法视频教程1_4讲
软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用
18 2019-03-29 -
安全协议形式化分析理论与方法研究综述
安全协议形式化分析理论与方法研究综述,学术论文
33 2019-07-29 -
移动Agent系统的Z语言形式化描述
移动Agent系统的Z语言形式化描述,形式化语言的简介,Z语言的介绍以及多ANGENT系统的描述
19 2019-09-19 -
论文研究面向钢铁企业能源流程的逐步形式化建模方法.pdf
针对贷款组合优化决策模型的求解问题,提出了用于求解该问题的知识进化算法,阐明了算法的具体实现过程,采用VB语言编写了相应的仿真实验程序。通过多次的仿真实验结果比较,表明了算法在计算时间、稳定性和寻优能
21 2020-05-15 -
形式化语言Z语言博士研究生课程收集
形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料
27 2018-12-26 -
入门书籍z语言的形式化精化和证明
z语言的形式化,精化和证明,有关Z 语言入门的一本书,牛津大学出版社
54 2018-12-26 -
Pcomm动态库应用于VC案例
Pcomm动态库,应用于VC案例,串口通信编程的一种方法中要使用的三个文件。包含一个安装文件,也可以安装后可以再c:\ProgramFiles\PCommLt\Lib下找到Pcomm.h,Pcomm.
17 2020-05-27 -
论文研究将深度学习模型应用于鼠标行为识别
在许多与动物有关的研究中,高性能的动物行为识别系统可以帮助研究人员减少或摆脱人类评估的局限性,并使实验更易于复制。近来,尽管深度学习模型在人类动作识别任务中拥有最先进的表现,但在将其应用于动物行为识别
15 2020-06-08 -
自动导引车系统防碰撞及死锁的形式化控制方法
针对自动导引车系统中的协调控制问题,提出一种基于有向图的控制程序自动化设计方法.首先,根据自动导引车系统的结构建立基于区域控制的有向图模型;其次,在部分可观的条件下,定义扩充危险域的概念,给出一种估计
10 2021-01-16 -
论文研究Web服务组合形式化验证方法研究.pdf
Web服务组合验证是确保组合服务正常执行的关键,现有的许多Web服务组合描述都是半形式化的,容易出错和不容易检测,因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题,并采用关联矩
28 2020-05-29
暂无评论