DocumentCode :
3420888
Title :
Proceedings. 1991 International Symposium on Software Reliability Engineering (Cat. No.91TH0336-5)
fYear :
1991
fDate :
17-18 May 1991
Abstract :
The following topics are dealt with: software metrics for reliability measurements; software reliability models and measurement tools; and formal methods for software verification
Keywords :
formal specification; program testing; quality control; software metrics; software reliability; formal methods; measurement tools; reliability measurements; software metrics; software reliability models; software verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Reliability Engineering, 1991. Proceedings., 1991 International Symposium on
Conference_Location :
Austin, TX, USA
Print_ISBN :
0-8186-2143-5
Type :
conf
DOI :
10.1109/ISSRE.1991.145388
Filename :
145388
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3420888
بازگشت