Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara onthe Lake, Ontario, Canada

Author(s)

• IEEE High-Assurance Systems Engineering Workshop
• IEEE Computer Society. TC Distributed Computing
• IEEE Computer Society

Bibliographic Information

Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara onthe Lake, Ontario, Canada

sponsored by IEEE Computer Society, Technical Committee on Distriburted Computing ; contributions from Hitachi Software Engineering Company, Honeywell Technology Center

IEEE Computer Society Press, c1996

Other Title

96TB100076

Note

"IEEE order plan catalog number 96TB100076"--T.p. verso

Description and Table of Contents

Description

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.

by "Nielsen BookData"

Details

• NCID: BA42705516
• ISBN:
  • 0818676299
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: xiii, 176 p.
• Size: 28 cm