Hatton shows developers how to use C in safety-related and high-integrity systems, describing how to build quality and reliability into software using commercially available tools. He discusses international standards and software quality initiatives and offers an in-depth comparison of C and other popular languages from a safety and reliability viewpoint.data-hiding, 101 dbmalloc, 149 decision count, 96, 104 deep-flow dynamic analysis, 102 deep-flow metrics, 92, 101 ... metric, 120 floating-point comparison, 67 fly-by-wire systems, 136 fork(), 70 formal argument, 56 formal assessment of risk, ... 193 infinity, 83 inline fault, 112, 192 integration testing, 138 intellectual property, 207 interface fault, 96, 112, 141, 192 ... 43 just-in-time (JIT), 14 K i vial diagrams, 148 law of copyright, 207 legal precedent, 10, 219 lexical analysis, 182 liability.
Title | : | Safer C |
Author | : | Les Hatton |
Publisher | : | McGraw-Hill Companies - 1995 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: