Formal versus agile: survival of the fittest?

dc.contributor.author	Black, Sue
dc.contributor.author	Boca, Paul P.
dc.contributor.author	Bowen, Jonathan P.
dc.contributor.author	Gorman, Jason
dc.contributor.author	Hinchey, Mike
dc.date.accessioned	2011-07-20T10:04:15Z
dc.date.available	2011-07-20T10:04:15Z
dc.date.issued	2009
dc.identifier.uri	http://hdl.handle.net/10344/1119
dc.description	peer-reviewed	en_US
dc.description.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.	en_US
dc.language.iso	eng	en_US
dc.publisher	IEEE Computer Society	en_US
dc.relation.ispartofseries	IEEE Computer;42/9/pp.37-45
dc.rights	©2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.	en_US
dc.subject	agile software engineering	en_US
dc.title	Formal versus agile: survival of the fittest?	en_US
dc.type	Article	en_US
dc.type.supercollection	all_ul_research	en_US
dc.type.supercollection	ul_published_reviewed	en_US
dc.type.restriction	none	en
dc.contributor.sponsor	SFI
dc.relation.projectid	03/CE2/I303_1