TY  - BOOK
AU  - HATTON LES
TI  - Safer C: developing software for high-integrity and safety-critical systems
T2  - The McGraw-Hill International Series in Software Engineering
SN  - 0077076400
PY  - 1994///
CY  - UK
PB  - McGraw-Hill Publ Com
KW  - SOFTWARE DEVELOPMENT
N1  - DEVELOPING SOFTWARE FOR HIGH INTEGRITY AND SAFETY CRITICAL SYSTEMS; Provides developers and programmers with an essential critique of existing standards initiatives for safety-critical development and an in-depth critique of the C language from a safety viewpoint; Safety and standardization in software controlled systems; the C programming language - a safety critique; the influence of complexity on safety; population studies of C programmers; strategies and solutions for safety-related development; comparison with other languages; putting it all together - example standards and environments; legal issues
ER  -