REALLY RETHINKING 'FORMAL METHODS.'.
The article provides comments to an article in the September issue of "Computer" magazine entitled, "Rethinking Formal Methods." The writer examines the comparable progress made in formal methods to investigate program design errors seen in 1967 which can still be found in modern day software. He su...
| Publicado en: | Computer (00189162) Vol. 43; no. 1; pp. 28 - 35 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
IEEE
Jan2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=48241086&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 48241086 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Jan2010 vid: 43 iid: 1 pid: 13605 pub: IEEE artinfo: ui: 48241086 10.1109/MC.2010.22 ppf: 28 ppct: 7 formats: tig: atl: REALLY RETHINKING 'FORMAL METHODS.'. aug: au: Parnas, David Lorge affil: Middle Road Software Professor emeritus, McMaster University, Canada su: Formal methods (Computer science) Computer software development Personal computers -- Programming Systems design sug: subj: Formal methods (Computer science) Computer software development Personal computers -- Programming Systems design ab: The article provides comments to an article in the September issue of "Computer" magazine entitled, "Rethinking Formal Methods." The writer examines the comparable progress made in formal methods to investigate program design errors seen in 1967 which can still be found in modern day software. He suggests questioning assumptions behind formal methods for software development to know its problems and create alternatives. He observes three alarming gaps in software development which need hard rethinking rather more money to address the problems. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|