Software Engineering and Formal Methods.
The article discusses computer software reliability, examining the use of an approach to programming called 'formal methods.' This approach, the article indicates, requires substantial mathematical experience and may be difficult to apply. Topics include particular domains or classes of applications...
| Publicado en: | Communications of the ACM Vol. 51; no. 9; pp. 54 - 60 |
|---|---|
| Autores principales: | , , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2008
|
| 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=34141227&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 34141227 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Sep2008 vid: 51 iid: 9 pid: 68 pub: Association for Computing Machinery artinfo: ui: 34141227 10.1145/1378727.1378742 ppf: 54 ppct: 6 formats: tig: atl: Software Engineering and Formal Methods. aug: au: HINCHEY, MIKE JACKSON, MICHAEL COUSOT, PATRICK COOK, BYRON BOWEN, JONATHAN P. MARGARIA, TIZIANA affil: Codirector of Lero, Irish Software Engineering Research Center. Professor of software engineering, University of Limerick, Ireland. Visiting Research Professor, Centre for Research in Computing, Open University, Milton Keynes, England. Professor of computer science, École Normale Supérieure. Researcher, Microsoft's Laboratory at Cambridge University. Visiting professor, King's College London. Chair of service and software engineering, Institute of Informatics, Universität Potsdam, Germany. su: Formal methods (Computer science) Computer software development Computer software industry Systems design Mathematics Development of application software sug: subj: Formal methods (Computer science) Computer software development Computer software industry Systems design Mathematics Development of application software ab: The article discusses computer software reliability, examining the use of an approach to programming called 'formal methods.' This approach, the article indicates, requires substantial mathematical experience and may be difficult to apply. Topics include particular domains or classes of applications, specification notation and formal semantics, and a deductive apparatus for reasoning. Also discussed are verification and refinement, automated formal methods, and abstracting, modeling, and applying systems. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|