Formal versus agile: Survival of the fittest

Sue Black; Paul P. Boca; Jonathan P. Bowen; Jason Gorman; Mike Hinchey

doi:10.1109/MC.2009.284

Formal versus agile: Survival of the fittest

Sue Black, Paul P. Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey

Department of Computer Science & Information Systems

Research output: Contribution to specialist publication › Article

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.

Original language	English
Pages	37-45
Number of pages	9
Volume	42
No.	9
Specialist publication	Computer
DOIs	https://doi.org/10.1109/MC.2009.284
Publication status	Published - 2009

Keywords

Agile methods
Books
Data mining
Formal methods
Metals
Programming
Safety
Software
Software engineering
Testing

Access to Document

10.1109/MC.2009.284

Cite this

@misc{dff8496f56e84ea1978d0e4e4d3c3b37,

title = "Formal versus agile: Survival of the fittest",

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.",

keywords = "Agile methods, Books, Data mining, Formal methods, Metals, Programming, Safety, Software, Software engineering, Testing",

author = "Sue Black and Boca, {Paul P.} and Bowen, {Jonathan P.} and Jason Gorman and Mike Hinchey",

year = "2009",

doi = "10.1109/MC.2009.284",

language = "English",

volume = "42",

pages = "37--45",

journal = "Computer",

issn = "0018-9162",

}

TY - GEN

T1 - Formal versus agile

T2 - Survival of the fittest

AU - Black, Sue

AU - Boca, Paul P.

AU - Bowen, Jonathan P.

AU - Gorman, Jason

AU - Hinchey, Mike

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Agile methods

KW - Books

KW - Data mining

KW - Formal methods

KW - Metals

KW - Programming

KW - Safety

KW - Software

KW - Software engineering

KW - Testing

UR - http://www.scopus.com/inward/record.url?scp=70349436897&partnerID=8YFLogxK

U2 - 10.1109/MC.2009.284

DO - 10.1109/MC.2009.284

M3 - Article

AN - SCOPUS:70349436897

SN - 0018-9162

VL - 42

SP - 37

EP - 45

JO - Computer

JF - Computer

ER -

Formal versus agile: Survival of the fittest

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this