Safer C: developing software for high-integrity and safety-critical systems
- UK McGraw-Hill Publ Com 1994
- 229p., 247 x 174mm, 75 illustrations, bibliography, paperback
- The McGraw-Hill International Series in Software Engineering .
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.