Journal article
Intelligent systems and formal methods in software engineering
IEEE intelligent systems, Vol.21(6), pp.71-81
11/01/2006
DOI: 10.1109/MIS.2006.117
Abstract
The various developments in the field of software engineering and various efforts to enhance software architecture are presented. A Grand Challenge is a scientific project that an international team of scientists coordinates and carries out over 10 years or more. It has been planned to reactivate the program verifier challenge and solve it by concerted collaborative and competitive efforts. It has been estimated that the cost of software error to the world's economies are in the region of US$ 100 billion a year. The total cost of research over a period of 10 years is $ 1 billion, shared among all participating nations. There are various verification methods that detect errors to protect software from virus attack. The main scientific risk to the project is that methods of computer generation and checking of proofs continue to require skilled human intervention.
Details
- Title: Subtitle
- Intelligent systems and formal methods in software engineering
- Creators
- Bernhard Beckert - Univ. of KoblenzTony Hoare - MicrosoftReiner Hahnle - University of KoblenzDouglas R. Smith - Kestrel InstituteCordell Green - Kestrel InstituteSilvio Ranise - MicrosoftCesare Tinelli - University of IowaThomas Ball - MicrosoftSriram K. Rajamani - Microsoft
- Resource Type
- Journal article
- Publication Details
- IEEE intelligent systems, Vol.21(6), pp.71-81
- Publisher
- IEEE
- DOI
- 10.1109/MIS.2006.117
- ISSN
- 1541-1672
- eISSN
- 1941-1294
- Number of pages
- 11
- Language
- English
- Date published
- 11/01/2006
- Academic Unit
- Computer Science
- Record Identifier
- 9984259495502771
Metrics
3 Record Views