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

著者

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

書誌事項

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

タイトル別名

96TB100076

注記

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

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

• NII書誌ID(NCID): BA42705516
• ISBN:
  • 0818676299
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xiii, 176 p.
• 大きさ: 28 cm