Cover Image
QR Code

FORMAL VERSUS AGILE: SURVIVAL OF THE FITTEST?

The article examines the formal and agile approaches to software engineering. The entry notes that formal methods were adopted in software development terms in the 1970s, while agile methodologies began in 2001 with main-value propositions that focused on responding to change, interaction, working s...

Full description

Published in:Computer (00189162) Vol. 42; no. 9; pp. 37 - 46
Main Authors: Black, Sue, Boca, Paul P., Bowen, Jonathan P., Gorman, Jason, Hinchey, Mike
Format: Article
Published: IEEE Sep2009
Subjects:
Software engineering
Computer software development
Object-oriented methods (Computer science)
Object-oriented programming
Computer software industry
Online Access:View this record in EBSCOhost
Summary:The article examines the formal and agile approaches to software engineering. The entry notes that formal methods were adopted in software development terms in the 1970s, while agile methodologies began in 2001 with main-value propositions that focused on responding to change, interaction, working software, and customer collaboration. The integration of formal and agile methodologies in software development has been proposed by researchers in their use of the Symbolic Model Verifier (SMV), and in the KeY methodology for object-oriented systems.