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...
| Published in: | Computer (00189162) Vol. 42; no. 9; pp. 37 - 46 |
|---|---|
| Main Authors: | , , , , |
| Format: | Article |
| Published: |
IEEE
Sep2009
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=44299242&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 44299242 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Sep2009 vid: 42 iid: 9 pid: 13605 pub: IEEE artinfo: ui: 44299242 10.1109/MC.2009.284 ppf: 37 ppct: 9 formats: tig: atl: FORMAL VERSUS AGILE: SURVIVAL OF THE FITTEST? aug: au: Black, Sue Boca, Paul P. Bowen, Jonathan P. Gorman, Jason Hinchey, Mike affil: University of Westminster Hornbill Systems Ltd. Museophile Ltd. Codemanship Ltd. Lero--the Irish Software Engineering Research Centre su: Software engineering Computer software development Object-oriented methods (Computer science) Object-oriented programming Computer software industry sug: subj: Software engineering Computer software development Object-oriented methods (Computer science) Object-oriented programming Computer software industry ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|