[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-1-en-105":3,"doc-seo-243117-105":53,"doc-detail-243117-en":126},{"code":4,"msg":5,"data":6},0,"success",[7,14,19,24,29,34,39,44,49],{"id":8,"doc_module":9,"doc_module_name":10,"category_name":11,"show_sort_weight":12,"slug":13},11,1,"Template","Presentations",90,"presentations",{"id":15,"doc_module":9,"doc_module_name":10,"category_name":16,"show_sort_weight":17,"slug":18},12,"Resumes",80,"resumes",{"id":20,"doc_module":9,"doc_module_name":10,"category_name":21,"show_sort_weight":22,"slug":23},14,"Invoices",70,"invoices",{"id":25,"doc_module":9,"doc_module_name":10,"category_name":26,"show_sort_weight":27,"slug":28},15,"Posters",60,"posters",{"id":30,"doc_module":9,"doc_module_name":10,"category_name":31,"show_sort_weight":32,"slug":33},16,"Social Media",50,"social-media",{"id":35,"doc_module":9,"doc_module_name":10,"category_name":36,"show_sort_weight":37,"slug":38},17,"Forms",40,"forms",{"id":40,"doc_module":9,"doc_module_name":10,"category_name":41,"show_sort_weight":42,"slug":43},18,"Letters",30,"letters",{"id":45,"doc_module":9,"doc_module_name":10,"category_name":46,"show_sort_weight":47,"slug":48},21,"Paper Templates",5,"papers-templates",{"id":50,"doc_module":9,"doc_module_name":10,"category_name":51,"show_sort_weight":4,"slug":52},158,"General","general-158",{"code":4,"msg":54,"data":55},"ok",{"site_id":56,"language":57,"slug":58,"title":59,"keywords":60,"description":61,"schema_data":62,"social_meta":119,"head_meta":121,"extra_data":123,"updated_unix":125},105,"en","formal-methods-for-an-agile-scrum-software-development-methodology-paper","Formal Methods for an Agile Scrum Software Development Methodology - Paper","","Efficient, high-quality software development depends on dependable methods that can flexibly respond to change while still maintaining rigorous quality. Agile Software Development Methodology (ASDM), especially Scrum, delivers value through iterative sprints that support feedback and cross-functional engagement. Yet achieving methodological efficiency alone is insufficient for mission-critical reliability. This research examines how Formal Methods (FMs), with mathematically grounded specification and proof techniques, can be embedded in Scrum, and outlines future work to build an embedding framework and assess feasibility with practitioners.",{"@graph":63,"@context":118},[64,80,101],{"@type":65,"itemListElement":66},"BreadcrumbList",[67,71,74,77],{"item":68,"name":69,"@type":70,"position":9},"https://docshare.wps.com","Home","ListItem",{"item":72,"name":10,"@type":70,"position":73},"https://docshare.wps.com/template/",2,{"item":75,"name":51,"@type":70,"position":76},"https://docshare.wps.com/template/general/",3,{"item":78,"name":59,"@type":70,"position":79},"https://docshare.wps.com/template/formal-methods-for-an-agile-scrum-software-development-methodology-paper/243117/",4,{"url":78,"name":59,"@type":81,"image":82,"author":87,"headline":59,"publisher":90,"fileFormat":93,"inLanguage":57,"description":61,"dateModified":94,"datePublished":95,"encodingFormat":93,"isAccessibleForFree":96,"interactionStatistic":97},"DigitalDocument",{"url":83,"@type":84,"width":85,"height":86},"https://docshare.wps.com/thumbnails/formal-methods-for-an-agile-scrum-software-development-methodology-paper/243117.png","ImageObject",442,249,{"name":88,"@type":89},"วิน","Person",{"url":68,"name":91,"@type":92},"DocShare","Organization","application/pdf","2026-09-21","2026-09-12",true,{"@type":98,"interactionType":99,"userInteractionCount":79},"InteractionCounter",{"@type":100},"ViewAction",{"@type":102,"mainEntity":103},"FAQPage",[104,110,114],{"name":105,"@type":106,"acceptedAnswer":107},"What is the main objective of the research?","Question",{"text":108,"@type":109},"The objective is to investigate the extent to which Formal Methods (FMs) can be embedded in the Agile Scrum methodology.","Answer",{"name":111,"@type":106,"acceptedAnswer":112},"Why is Scrum considered suitable within Agile for software development?",{"text":113,"@type":109},"Scrum uses short sprint cycles for planning, design, build, test, review, and deployment, and it supports self-organization and iterative delivery with feedback.",{"name":115,"@type":106,"acceptedAnswer":116},"What challenges motivate the use of Formal Methods alongside Agile?",{"text":117,"@type":109},"Agile development can face issues such as lack of planning, scope creep, and overbudgeting, and mission-critical contexts require provable dependability; FMs address this with mathematically based techniques but have a steep learning curve.","https://schema.org",{"og:url":78,"og:type":120,"og:title":59,"og:site_name":91,"og:description":61},"article",{"robots":122,"canonical":78},"index,follow",{"doc_id":124,"site_id":56},243117,1789200264,{"code":4,"msg":5,"data":127},{"doc_id":124,"user_id":128,"nickname":88,"user_avatar":129,"doc_module":9,"category_id":50,"category_name":51,"doc_title":59,"doc_description":61,"doc_content":130,"file_id":131,"file_url":132,"file_type":133,"file_size":134,"view_count":79,"is_deleted":4,"is_public":9,"is_downloadable":9,"audit_status":9,"page_count":135,"language":136,"language_code":57,"site_id":56,"html_lang":57,"table_of_contents":137,"faqs":138,"seo_title":139,"seo_description":61,"update_tm":125,"read_time":76},2336475104736,"https://ap-avatar.wpscdn.com/avatar/22000c4c5e0e5b17e70?x-image-process=image/resize,m_fixed,w_180,h_180&k=1786591360781797222","Formal Methods for an Agile Scrum Software Development Methodology  \nFisokuhle Hopewell Nyembe 1, John Andrew van der Poll 2, Hugo Hendrik Lotriet 3  \n1 School of Computing, College of Science, Engineering and Technology (CSET), Science Campus, University of South Africa  \n(Unisa), South Africa  \n[37233858@mylife.unisa.ac.za](37233858@mylife.unisa.ac.za), ORCID: 0000-0001-8205-5088  \n2 Digital Transformation and Innovation, Graduate School of Business Leadership (SBL), Midrand Campus, University of  \nSouth Africa (Unisa), South Africa  \n[vdpolja@unisa.ac.za](vdpolja@unisa.ac.za), ORCID: 0000-0001-6557-7749  \n3 School of Computing, College of Science, Engineering and Technology (CSET), Science Campus, University of South Africa  \n(Unisa), South Africa  \n[lotrihh@unisa.ac.za](lotrihh@unisa.ac.za), ORCID: 0000-0002-0353-5073  \nAbstract— 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.  \nKeywords— Agile Software Development Methodology, Formal Methods (FMs), Formal Specification, Proof Obligation (PO), Scrum, Z.  \nI. INTRODUCTION  \nNumerous software development methodologies aim to address the challenge of producing quality software on time, within budget, and preserving a company’s market dominance [1], [2] . Conventional approaches often assumed that scope could be defined up front, a plan could be put in place, and the plan could be executed with little or no change. Over time many embraced the Agile Software Development methodology [3], characterised by being throughput-oriented and focusing on  \ndelivering value to customers as rapidly as possible [4] . It can also be used as a task management framework to apply familiar implementation approaches to the task's completion in line with re-usability.  \nScrum, deemed to be a development, delivery, and maintenance strategy for complex products, is a well-known Agile software development methodology for approaching difficult adaptive problems and delivering high-value products in an innovative way. Scrum is described as easily understood, lightweight, yet somewhat hard to master [2] . Short project cycles, known as Sprints, are used to plan, design, build, test, review, and deploy a usable deliverable [2] . The Scrum framework comprises Scrum Teams and their associated duties, tasks, activities, objects, and guidelines. Each component of the framework serves a particular purpose and is crucial to the adoption and success of Scrum.  \nScrum processes embody a small group of people who are very adaptable and flexible. These teams iterate and incrementally deliver products, facilitating possibilities for feedback. A scrum team is made up of a Product Owner, a Development Team, and a Scrum Master. Scrum Teams are also distinguished by their capacity to se","cbCaihIyXSO36vMc","https://ap.wps.com/l/cbCaihIyXSO36vMc","pdf",425016,9,"English","# Introduction\n## Agile software development and Scrum\n## Formal Methods and motivation\n# Literature review\n## Agile software development\n## Scrum sprints and contrast with Waterfall","[{\"question\":\"What is the main objective of the research?\",\"answer\":\"The objective is to investigate the extent to which Formal Methods (FMs) can be embedded in the Agile Scrum methodology.\"},{\"question\":\"Why is Scrum considered suitable within Agile for software development?\",\"answer\":\"Scrum uses short sprint cycles for planning, design, build, test, review, and deployment, and it supports self-organization and iterative delivery with feedback.\"},{\"question\":\"What challenges motivate the use of Formal Methods alongside Agile?\",\"answer\":\"Agile development can face issues such as lack of planning, scope creep, and overbudgeting, and mission-critical contexts require provable dependability; FMs address this with mathematically based techniques but have a steep learning curve.\"}]","Formal Methods for an Agile Scrum Software Development Methodology - Paper | PDF"]