Issue No. 09 - September (2009 vol. 42)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2009.284
Sue Black , University of Westminster
Paul P. Boca , Hornbill Systems
Jonathan P. Bowen , Museophile
Jason Gorman , Codemanship
Mike Hinchey , Lero
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.
Agile methods, Formal methods, Software engineering
J. P. Bowen, J. Gorman, P. P. Boca, S. Black and M. Hinchey, "Formal Versus Agile: Survival of the Fittest," in Computer, vol. 42, no. , pp. 37-45, 2009.