HATTON LES

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.

0077076400 0.00


SOFTWARE DEVELOPMENT