1996 IEEE Workshop on High-Assurance Software Engineering : HASE 96

IEEE Computer Society

ISBN 10: 0818676299 / ISBN 13: 9780818676291

Editore: I E E E Computer Society Press, Los Alamitos, CA, U.S.A., 1997

Riguardo questo articolo

Unread 287 Pages. Because of the size of this book, we can only ship to Canada or USA. Codice articolo 003611

Dati bibliografici

Titolo: 1996 IEEE Workshop on High-Assurance ...

Casa editrice: I E E E Computer Society Press, Los Alamitos, CA, U.S.A.

Data di pubblicazione: 1997

Legatura: Soft cover

Condizione: As New

Descrizione articolo

Riassunto:

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.