Software in safety-related systems

著者

• Wichmann, Brian A.
• British Computer Society

書誌事項

Software in safety-related systems

edited by Brian A. Wichmann

（Special report）

BCS , Wiley, c1992

• : Willey
• : BCS

注記

Includes bibliographical references and index

内容説明・目次

内容説明

A survey of the issues involved in the design of safety-critical computer systems, which reports on the concerns to be faced in the development of high-integrity computer software for life-critical applications, such as defence networks and nuclear power plants.

目次

Technical Background. Legal Liability for Software in Safety-Related Systems. Analysis of the Information Gathered. Certification. The Way Forward. Appendices.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA2071334X
• ISBN:
  • 0471934747
  • 090186563X
• LCCN: 92205539
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London,Chichester ; New York
• ページ数/冊数: 1 v. (various pagings)
• 大きさ: 26 cm
• 分類:
  • LCC : QA76.76.R44
  • DC20 : 620.8/6/02855
• 件名:
  • LCSH : Computer software -- Reliability
  • LCSH : Industrial safety -- Computer programs
• 親書誌ID:
  • BA20713419