Formal Versus Agile: Survival of the Fittest

Many research have focused on new formal methods, integrating formal methods into agile ones, and assessing the agility of formal methods. This paper proves that formal methods can survive in an agile world; they are not obsolete and can be integrated into it. The potential for combining agile and formal methods holds promise. It might not always be an easy partnership, and succeeding will depend on a fruitful interchange of expertise between the two communities. Conducting a realistic trial project using a combined approach with an appropriate formal methods tool in a controlled environment will help assess the effectiveness of such an approach.

[1]  Jonathan P. Bowen,et al.  Seven More Myths of Formal Methods , 1994, FME.

[2]  Jonathan P. Bowen,et al.  Applications of Formal Methods , 1995 .

[3]  M. Holcombe,et al.  Using a formal method to model software design in XP projects , 2005 .

[4]  Brian Randell,et al.  The origins of digital computers: Selected papers , 1975 .

[5]  Laurie A. Williams,et al.  Assessing test-driven development at IBM , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[6]  Barry Boehm,et al.  A view of 20th and 21st century software engineering , 2006, ICSE.

[7]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[8]  Checking a Large Routine Report of a Conference on High Speed Automatic Calculating machines Universal Turing Machine , 2011 .

[9]  HallAnthony,et al.  Correctness by Construction , 2002 .

[10]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[11]  Sue Black,et al.  Deriving an approximation algorithm for automatic computation of ripple effect measures , 2008, Inf. Softw. Technol..

[12]  Dimitris Dranidis,et al.  Formal modelling of use cases with X-machines , 2003 .

[13]  Tahina Ramananandro,et al.  Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method , 2007, Formal Aspects of Computing.

[14]  Juan José Moreno-Navarro,et al.  Formal Agility . How much of each ? , 2003 .

[15]  Richard F. Paige,et al.  Agile Specification-Driven Development , 2004, XP.

[16]  Nan Niu,et al.  On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study , 2005, MSVVEIS.

[17]  George Eleftherakis,et al.  An Agile Formal Development Methodology , 2003 .

[18]  Joyce Duncan,et al.  SSADM in Practice , 1995 .

[19]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[20]  A. M. Turing,et al.  Checking a large routine , 1989 .

[21]  Tiziana Margaria,et al.  Software engineering and formal methods , 2008, CACM.

[22]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[23]  오준석,et al.  Correctness by Construction 을 적용한 안전필수 시스템 개발 , 2009 .

[24]  Brian Randell,et al.  The Origins of Digital Computers , 1973, Springer Berlin Heidelberg.

[25]  S. J. Creese,et al.  Verifying End-to-End Protocols using Induction with CSP/FDR , 1999, IPPS/SPDP Workshops.

[26]  Jean-Raymond Abrial,et al.  Formal methods in industry: achievements, problems, future , 2006, ICSE.

[27]  Anthony Hall,et al.  Realising the Benefits of Formal Methods , 2005, J. Univers. Comput. Sci..

[28]  Pekka Abrahamsson,et al.  Long-Term Effects of Test-Driven Development A Case Study , 2009, XP.

[29]  Jonathan P. Bowen,et al.  Formal Methods: State of the Art and New Directions , 2009 .