Title :
Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000
Abstract :
The following topics are dealt with: software reliability engineering; object oriented methods; software modeling; program testing; software quantitative analysis; risk assessment; software metrics; safety critical software; programming theory; and formal specification
Keywords :
formal specification; object-oriented programming; program testing; programming theory; risk management; software cost estimation; software metrics; software quality; software reliability; formal specification; object oriented methods; program testing; programming theory; risk assessment; safety critical software; software metrics; software modeling; software quantitative analysis; software reliability engineering;
Conference_Titel :
Software Reliability Engineering, 2000. ISSRE 2000. Proceedings. 11th International Symposium on
Conference_Location :
San Jose, CA, USA
Print_ISBN :
0-7695-0807-3
DOI :
10.1109/ISSRE.2000.885855