Formal methods can be used
at any stage of product development process to improve the software quality and
efficiency using mathematical models for analysis and verification. From last
decade, researchers and practitioners are trying to establish successful
transfer of practices of formal methods into industrial process development. In
the last couple of years, numerous analysis approaches and formal methods have
been applied in different settings to improve software quality. In today’s
highly competitive software development industry, companies are striving to
deliver fast with low cost and improve quality solutions and agile
methodologies have proved their efficiency in acquiring these. Here, we will
present an integration of formal methods, specifications and verification
practices in the most renowned process development methodology of agilei.e.extreme programming with a conceptual
solution. That leads towards the development of a complete formalized XP
process in future. This will help the practitioners to understand the
effectiveness of formal methods using in agile methods that can be helpful in
utilizing the benefits of formal methods in industry.
Larsen, P.G., Fitzgerald, J. and Wolff, S. (2010) Are Formal Methods Ready for Agility? A Reality Check. 2nd International Workshop on Formal Methods and Agile Methods, Pisa, 17 September 2010, 13 Pages.
Liu, S. and Sun, Y. (1995) Structured Methodology + Object-Oriented Methodology + Formal Methods: Methodology of SOFL. Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems, Ft. Landerdale, 6-10 November 1995, 137-144.
Liu, S. (2009) An Approach to Applying SOFL for Agile Process and Its Application in Developing a Test Support Tool. Innovations in Systems and Software Engineering, 6, 137-143. http://dx.doi.org/10.1007/s11334-009-0114-3
Suhaib, S.M., Mathaikutty, D.A., Shukla, S.K. and Berner, D. (2005) XFM: An Incremental Methodology for Developing Formal Models. ACM Transactions on Design Automation of Electronic Systems, 10, 589-609.
Holstrom, H., Fixgerald, B., Agerfalk, P.J. and Conchuir, E.O. (2006) Agile Practices Reduce Distance in Global Software Development. Information and Systems Management, 23, 7-18.
Pikkarainen, M. and Mantyniemi, A. (2006) An Approach for Using CMMI in Agile Software Development Assessments: Experiences of Three Case Studies. 6th International SPICE Conference, Luxembourg, 4-5 May 2006, 1-11.
Herranz, á. and Moreno-Navarro, J.J. (2003) Formal Agility, How Much of Each? Taller de Metodologías ágiles en el Desar-Rollo del Software, VIII Jornadas de Ingeniería del Software Bases de Datos (JISBD 2003), Grupo ISSI, 47-51.
Holcombe, M. and Thomson, C. (2007) 20 Years of Teaching and 7 Years of Research: Research When You Teach. Proceedings of the 3rd South-East European Workshop on Formal Methods, Thessaloniki, 30 November-1 December 2007, 1-13.
Herranz, A. and Moreno-Navarro, J.J. (2003) Formal Extreme (and Extremely Formal) Programming. In: Marchesi, M. and Succi, G., Eds., 4th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2003, LNCS, No. 2675, Genova, 88-96.