Title :
Formal methods, testing, and reuse-towards reliability conservation for software
Author :
Hall, Pat ; Gedeon, Tom ; Reade, Chris
Author_Institution :
Dept. of Comput. Sci., Brunel Univ., Uxbridge, UK
Abstract :
The authors discuss the reliability problem, looking first at how traditional software engineering technologies guarantee reliability. They go on to discuss reliability conservation through software reuse
Keywords :
program testing; software reliability; software reusability; critical systems; formal methods; program testing; reliability conservation; software engineering; software reliability; software reuse;
Conference_Titel :
Software Testing for Critical Systems, IEE Colloquium on
Conference_Location :
London
