The Community for Technology Leaders
Green Image
Issue No. 09 - September (2009 vol. 42)
ISSN: 0018-9162
pp: 37-45
Sue Black , University of Westminster
Paul P. Boca , Hornbill Systems
Jonathan P. Bowen , Museophile
Jason Gorman , Codemanship
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

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.
doi:10.1109/MC.2009.284
110 ms
(Ver 3.3 (11022016))