Formal Versus Agile: Survival of the Fittest

Authors:
Sue Black;Paul P. Boca;Jonathan P. Bowen;Jason Gorman;Mike Hinchey
Affiliations:
University of Westminster;Hornbill Systems;Museophile;Codemanship;Lero
Venue:
Computer
Year:
2009

Citing 0
Cited 6

Editorial: special section on formal plus agile methods

ACM SIGSOFT Software Engineering Notes
Supporting agile development by facilitating natural user interaction with executable formal specifications

ACM SIGSOFT Software Engineering Notes
From a community of practice to a body of knowledge: a case study of the formal methods community

FM'11 Proceedings of the 17th international conference on Formal methods
Is there evolution before birth? deterioration effects of formal Z specifications

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Minimizing the ripple effect of web-centric software by using the pheromone extension

Information Sciences: an International Journal
An exploration of technical debt

Journal of Systems and Software

Quantified Score

Hi-index	4.10

Visualization

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.