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 |
Browsing Thurles Library shelves, Shelving location: Main Collection Close shelf browser (Hides shelf browser)
005.133 FAR Java programming | 005.133 FLA Java examples in a nutshell a tutorial companion to Java in a nutshell David Flanagan | 005.133 GRA Character animation with Direct3D / | 005.133 HAT Safer C: developing software for high-integrity and safety-critical systems | 005.133 HET Practical Python | 005.133 HET Practical Python | 005.133 HOR Computing concepts with Java 2 essentials |
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