Safer C: developing software for high-integrity and safety-critical systems
Material type: TextSeries: The McGraw-Hill International Series in Software EngineeringPublication details: UK McGraw-Hill Publ Com 1994Description: 229p., 247 x 174mm, 75 illustrations, bibliography, paperbackISBN:- 0077076400
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Standard Loan | Thurles Library Main Collection | 005.133 HAT (Browse shelf(Opens below)) | 1 | Available | R02005WKRCT |
Enhanced descriptions from Syndetics:
Aimed at C developers in safety-related or high-integrity environments.
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.
Table of contents provided by Syndetics
- 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