Download or read book Proceedings, Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) written by and published by IEEE Computer Society Press. This book was released on 2000 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: The proceedings from this November, 2000 conference in Albuquerque, New Mexico feature 46 papers by computer scientists working with universities, private companies, and government agencies from around the world. Topics include: test-based comprehension; failure prediction models; symposia benefits