The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2009 vol.42)
pp: 37-45
Paul P. Boca , Hornbill Systems
Jonathan P. Bowen , Museophile
Sue Black , University of Westminster
ABSTRACT
The potential for combining agile and formal methods holds promise. Although it might not always be an easy partnership, it will succeed if it can foster a fruitful interchange of expertise between the two communities.
INDEX TERMS
Agile methods, Formal methods, Software engineering
CITATION
Paul P. Boca, Jonathan P. Bowen, Sue Black, Mike Hinchey, "Formal Versus Agile: Survival of the Fittest", Computer, vol.42, no. 9, pp. 37-45, September 2009, doi:10.1109/MC.2009.284
REFERENCES
1. B. Boehm, "A View of 20th- and 21st-Century Software Engineering," Proc. 28th Int'l Conf. Software Eng., ACM Press, 2006, pp.12-29.
2. B. Randell, The Origins of Digital Computers: Selected Papers, Springer-Verlag, 2nd ed., 1975.
3. A.M. Turing, "Checking a Large Routine," Report of a Conference on High Speed Automatic Calculating Machines, University Mathematical Laboratory, Cambridge, 1949, pp. 67-69.
4. N. Niu and S. Easterbrook, "On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study," Proc. 3rd Int'l Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, INSTICC Press, 2005, pp. 115-117.
5. C. Thomson and M. Holcombe, "Using a Formal Method to Model Software Design in XP Projects," Annals of Mathematics, Computing and Teleinformatics, vol. 1, no. 3, 2005, pp. 44-53.
6. D. Dranidis, K. Tigka, and P. Kefalas, "Formal Modeling of Use Cases with X-Machines," Proc. 1st South-East European Workshop on Formal Methods, CD-ROM, 2003, pp. 72-83.
7. Á. Herranz and J.J. Moreno-Navarro, "Formal Agility, How Much of Each?" Taller de Metodologías Ágiles en el Desarrollo del Software, VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2003), Grupo ISSI, 2003, pp. 47-51.
8. J.S. Ostroff, D. Makalsky, and R.F. Paige, "Agile Specification-Driven Development," Proc. Extreme Programming, LNCS 3092, Springer-Verlag, 2004, pp. 104-112.
9. P. Amey, "Correctness by Construction"; https://buildsecurityin.us-cert.gov/daisy/bsi/articles/knowledge/sdlc/613-BSI.pdf, 2006.
10. A. Hall, "Realising the Benefits of Formal Methods," J. Universal Computer Science, vol. 13, no. 5, 2007, pp. 669-678.
11. S. Creese and J. Reed, Verifying End-to-End Protocols Using Induction with CSP/FDR, Parallel and Distributed Processing, LNCS 1586, Springer-Verlag, 1999, pp. 1243-1257.
12. J-R. Abrial, "Formal Methods in Industry: Achievements, Problems, Future," Proc. 28th Int'l Conf. Software Engineering, ACM SIGSOFT, 2006, pp. 761-768.
13. P.P. Boca, J.P. Bowen, and J.I. Siddiqi eds., , Formal Methods: State of the Art and New Directions, Springer, 2009.
14. M.G. Hinchey et al., "Software Engineering and Formal Methods," Comm. ACM, vol. 51, no. 9, Sept. 2008, pp. 54-59.
15. G. Eleftherakis and A.J. Cowling, "An Agile Formal Development Methodology," Proc. 1st South-East European Workshop on Formal Methods (SEEFM 03):Agile Formal Methods: Practical, Rigorous Methods for a changing world, CD-ROM, 2003, pp. 36-47.
16. D. Jackson, Software Abstractions: Logic, Language, and Analysis, MIT Press, 2006.
17. G.J. Holzmann, The Spin Model Checker: Primer and Reference Manual, Addison-Wesley, 2003.
18. T. Ramananandro, "Mondex, an Electronic Purse: Specification and Refinement Checks with the Alloy Model-Finding Method," Formal Aspects of Computing J., vol. 20, no. 1, 2008, pp. 21-39.
19. J.P. Bowen and M.G. Hinchey, "Seven More Myths of Formal Methods," IEEE Software, vol. 12, no. 4, 1995, pp. 34-41.
20. M.G. Hinchey and J.P. Bowen eds., Applications of Formal Methods, Prentice-Hall, 2005.
21. J.A. Hall, "Seven Myths of Formal Methods," IEEE Software, vol. 5, no. 7, 1990, pp. 11-19.
22. L. Rackley, and A. Walker, SSADM in Practice, Palgrave Macmillan, 1995.
23. S.E. Black, "Deriving an Approximation Algorithm for Automatic Computation of Ripple Effect Measures," J. Information and Software Technology, June 2008, pp. 723-736.
24. A. Marchenko, P. Abrahamsson, and T. Ihme, "Long-Term Effects of Test-Driven Development: A Case Study," Agile Processes in Software Engineering and Extreme Programming, LNBIP, 2009, pp. 13-22.
25. E.M. Maximilien and L. Williams, "Assessing Test-Driven Development at IBM," Proc. 25th Int'l Conf. Software Eng., IEEE CS Press, 2003, pp. 564-569.
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool