A Case Study on Combining Agile Requirements Development and SOFL

This paper presents a requirement development process combined with agile software development and the Structured Object-Oriented Formal Language (SOFL) to produce reliable software. Agile methods have made outstanding contributions to handle changes by short iterative development, though the requir...

Full description

Saved in:
Bibliographic Details
Published inStructured Object-Oriented Formal Language and Method pp. 23 - 33
Main Author Nagoya, Fumiko
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Agile
Requirements development
SOFL
Online AccessGet full text

Cover

More Information
Summary:This paper presents a requirement development process combined with agile software development and the Structured Object-Oriented Formal Language (SOFL) to produce reliable software. Agile methods have made outstanding contributions to handle changes by short iterative development, though the requirements are less rigorous for verification of the corresponding programs. SOFL supports defining, and modifying requirements, and verifying programs based on the specifications, as a result of unifying the power of structured methods and object-oriented methods. We conducted a case study to assess the combined requirement development process and observe reworks caused by requirement changes. The result shows that our proposed process is effective to define the data and constraints, though changes in domains’ properties need continuous studies.
ISBN:9783030774738
3030774732
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-77474-5_2