Safer C: Developing Software for High-Integrity and Safety-Critical Systems (McGraw-Hill International Series in Software Engineering) [Paperback]

1993  above  ada  although  analysis  argument  author  automatic  avoid  behaviour  between  book  case  chapter  character  code  companies  compiler  complexity  components  control  defined  definition  described  development  different  discussed  does  dynamic  engineering  errors  even  example  fault  features  file  first  following  formal  fortran  function  given  good  however  iso  issues  items  language  level  lines  may  measurement  metrics  might  must  note  number  object  particular  per  point  pointer  practice  problem  process  product  program  programmer  programming  quality  rather  requirements  result  safety  section  set  severe  should  simply  software  standard  statement  states  static  support  systems  table  test  testing  therefore  things  time  tools  two  type  use  used  value  without  years