ABSTRACT
Agile approaches are known by making the use of informal elicitation techniques for requirements specification. The exclusive use of these techniques may cause some issues, such as ambiguous specifications and information lack. In this work we investigate better approaches to specify requirements in agile projects. Thus, we conducted an empirical evaluation about applicability of a formal method as specification technique, using mathematical logic as a possibility to solve limitations of informal specification. Initially, we conducted a survey to obtain the agile team practitioners opinion. Furthermore, we conducted two separated case studies in two agile teams to evaluate the applicability of Z notation in the requirements specification. Our initial results pointed out that formal specification assists on making complex requirements clearer and decreasing the time to understand their meanings.
- Rosalind Barden, Susan Stepney, and David Cooper. 1995. Z in Practice. Prentice-Hall, Inc. Google ScholarDigital Library
- Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, and Paola Spoletini. 2013. On requirements verification for model refinements. In Requirements Engineering Conference (RE), 2013 21st IEEE International. IEEE, 62--71.Google ScholarCross Ref
- Angel Herranz and Juan José Moreno-Navarro. 2003. Formal extreme (and extremely formal) programming. In International Conference on Extreme Programming and Agile Processes in Software Engineering. Springer, 88--96. Google ScholarDigital Library
- Rensis Likert. 1932. A technique for the measurement of attitudes. Archives of psychology (1932).Google Scholar
- Marina de A. Marconi and Eva Maria Lakatos. 2003. Fundamentos de metodologia científica. 5. ed.-São Paulo: Atlas.Google Scholar
- Jefferson Seide Molléri, Kai Petersen, and Emilia Mendes. 2016. Survey guidelines in software engineering: An annotated review. In Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. ACM, 58. Google ScholarDigital Library
- Roque Moraes. 1999. Análise de conteúdo. Revista Educação, Porto Alegre 22, 37 (1999), 7--32.Google Scholar
- Timo Nummenmaa, Aleksi Tiensuu, Eleni Berki, Tommi Mikkonen, Jussi Kuittinen, and Annakaisa Kultima. 2011. Supporting agile development by facilitating natural user interaction with executable formal specifications. ACM SIGSOFT Software Engineering Notes 36, 4 (2011), 1--10. Google ScholarDigital Library
- Shagufta Shafiq and Nasir Mehmood Minhas. 2014. Integrating Formal Methods in XP -- A Conceptual Solution. Journal of Software Engineering and Applications (2014).Google Scholar
- Syed Suhaib, Deepak Mathaikutty, Sandeep Shukla, and David Berner. 2004. Extreme formal modeling (XFM) for hardware models. In Microprocessor Test and Verification (MTV'04), Fifth International Workshop on. IEEE, 30--35. Google ScholarDigital Library
- Jane Webster and Richard T. Watson. 2002. Analyzing the Past To Prepare for the Future: Writing a Review. MIS Quarterly 26, 2 (2002), 13--23. Google ScholarDigital Library
- Claes Wohlin, Per Runeson, Martin Höst, Magnus C Ohlsson, Björn Regnell, and Anders Wesslén. 2012. Experimentation in software engineering. Springer Science & Business Media. Google ScholarCross Ref
- Sune Wolff. 2012. Scrum goes formal: Agile methods for safety-critical systems. (2012), 23--29. Google ScholarDigital Library
- Anfan Zuo, Jing Yang, and Xiaowen Chen. 2010. Research of agile software development based on formal methods. In Multimedia Information Networking and Security (MINES), 2010 International Conference on. IEEE, 762--766. Google ScholarDigital Library
Index Terms
- Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches
Recommendations
Informal and Formal Requirements Specification Languages: Bridging the Gap
The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
Special issue on computer security and privacyIn carrying out SDC's Formal Development Method, one writes a specification of a system under design in the Ina Jo™ specification language and proves that the specification meets the requirements of the system. This paper develops an abstract machine ...
Comments