Safer C : developing software for in high-integrity and safety-critical systems

著者

• Hatton, Les

書誌事項

Safer C : developing software for in high-integrity and safety-critical systems

Les Hatton

（The McGraw-Hill international series in software engineering）

McGraw-Hill, c1995

注記

Includes bibliographical references (p. 220-224) and index

内容説明・目次

内容説明

This book is aimed at C developers in safety-related or high-integrity environments.

目次

1. Safety and Standardization in Software Controlled Systems. 2. The C Programming Language, A Safety Critique. 3. The Influence of Complexity on Safety. 4. Population Studies of C Programmers. 5. Strategies and Solutions for Safety-Related Development.6. Comparison with Other Languages. 7. Putting It All Together: Example Standards and Environments. 8. Legal Issues.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA27860943
• ISBN:
  • 0077076400
• LCCN: 94023202
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London ; New York
• ページ数/冊数: xiii, 228 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.76.R44
  • DC20 : 005.13/3
• 件名:
  • LCSH : Computer software -- Reliability
  • LCSH : Computer software -- Development
  • LCSH : C (Computer program language)
  • LCSH : System safety
• 親書誌ID:
  • BA07816111