Formal Methods for an Agile Scrum Software Development Methodology

Fisokuhle Hopewell Nyembe, John Andrew van der Poll, Hugo Hendrik Lotriet
{"title":"Formal Methods for an Agile Scrum Software Development Methodology","authors":"Fisokuhle Hopewell Nyembe, John Andrew van der Poll, Hugo Hendrik Lotriet","doi":"10.58190/icat.2023.35","DOIUrl":null,"url":null,"abstract":"Efficient, high-quality software systems embodying dependable methods are in high demand, which has led to a wide range of competitive market solutions. One effective technique that arguably has excelled above others is the Agile Software Development Methodology (ASDM). Agile approaches’ capacity to produce software in a way that is flexible to changes is the main factor that makes them preferable. Scrum, a recommended Agile methodology, prioritises feature coverage and project structure. Because iterative methodologies encourage engagement from cross-functional teams, including consumers, Agile provides flexibility in responding to change. However, achieving methodological efficiency is insufficient while developing software; high-quality software should be achieved with equal consideration. Formal Methods (FMs), which are mathematically based techniques, can offer highly dependable software but suffer from a steep learning curve in mastering the underlying discrete mathematics and logic. This research investigates the extent to which FMs may be embedded in traditional Agile as embodied by Scrum. Future work in this area would be the development of a framework for embedding FMs in Scrum, followed by a survey among software practitioners to establish the feasibility of our technique.","PeriodicalId":20592,"journal":{"name":"PROCEEDINGS OF THE III INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES IN MATERIALS SCIENCE, MECHANICAL AND AUTOMATION ENGINEERING: MIP: Engineering-III – 2021","volume":"289 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"PROCEEDINGS OF THE III INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES IN MATERIALS SCIENCE, MECHANICAL AND AUTOMATION ENGINEERING: MIP: Engineering-III – 2021","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.58190/icat.2023.35","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Efficient, high-quality software systems embodying dependable methods are in high demand, which has led to a wide range of competitive market solutions. One effective technique that arguably has excelled above others is the Agile Software Development Methodology (ASDM). Agile approaches’ capacity to produce software in a way that is flexible to changes is the main factor that makes them preferable. Scrum, a recommended Agile methodology, prioritises feature coverage and project structure. Because iterative methodologies encourage engagement from cross-functional teams, including consumers, Agile provides flexibility in responding to change. However, achieving methodological efficiency is insufficient while developing software; high-quality software should be achieved with equal consideration. Formal Methods (FMs), which are mathematically based techniques, can offer highly dependable software but suffer from a steep learning curve in mastering the underlying discrete mathematics and logic. This research investigates the extent to which FMs may be embedded in traditional Agile as embodied by Scrum. Future work in this area would be the development of a framework for embedding FMs in Scrum, followed by a survey among software practitioners to establish the feasibility of our technique.
敏捷Scrum软件开发方法的形式化方法
高效,高质量的软件系统体现了可靠的方法是高需求的,这导致了广泛的竞争市场解决方案。敏捷软件开发方法(ASDM)是一种有效的技术,可以说比其他技术更出色。敏捷方法以灵活的方式生产软件的能力是使它们更受欢迎的主要因素。Scrum是一种推荐的敏捷方法,它优先考虑功能覆盖和项目结构。因为迭代方法鼓励跨职能团队(包括消费者)的参与,所以敏捷在响应变化方面提供了灵活性。然而,在开发软件时,实现方法效率是不够的;高质量的软件应该通过同等的考虑来实现。形式化方法(Formal Methods, FMs)是一种基于数学的技术,它可以提供高度可靠的软件,但在掌握潜在的离散数学和逻辑方面,它的学习曲线非常陡峭。本研究调查了在Scrum所体现的传统敏捷中,FMs可以嵌入到何种程度。该领域的未来工作将是开发一个框架,用于在Scrum中嵌入fm,然后在软件从业者中进行调查,以确定我们的技术的可行性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信