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.
Intelligent systems and formal methods in software engineering / Beckert, B.; Hahnle, R.; Smith, D. R.; Green, C.; Ranise, S.; Tinelli, C.; Ball, T.; Rajamani, S. K.; Hoare, T.. - In: IEEE INTELLIGENT SYSTEMS. - ISSN 1541-1672. - 21:6(2006), pp. 71-81. [10.1109/MIS.2006.117]
Intelligent systems and formal methods in software engineering
Ranise S.;
2006-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
