DocumentCode
280237
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
fYear
1990
fDate
33043
Firstpage
42552
Lastpage
42554
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;
fLanguage
English
Publisher
iet
Conference_Titel
Software Testing for Critical Systems, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
190443
Link To Document