Title :
Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)
Abstract :
The following topics were dealt with: test-based comprehension and failure prediction models and metrics; UML (Unified Modeling Language) implementation; special purpose high consequence processors; formal methods; requirements specification, analysis and design; formal validation; program testing tools; high assurance systems engineering and testing; and reliability models and metrics
Keywords :
formal specification; object-oriented programming; program testing; software metrics; software reliability; specification languages; systems engineering; UML; Unified Modeling Language; failure prediction models; formal methods; formal validation; high assurance systems engineering; program testing; reliability models; requirements analysis; requirements specification; software metrics; special purpose high consequence processors; test-based comprehension;
Conference_Titel :
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
Conference_Location :
Albuquerque, NM, USA
Print_ISBN :
0-7695-0927-4
DOI :
10.1109/HASE.2000.895432
