• DocumentCode
    3609365
  • Title

    Out of Bounds

  • Author

    Holzmann, Gerard J.

  • Volume
    32
  • Issue
    6
  • fYear
    2015
  • Firstpage
    24
  • Lastpage
    26
  • Abstract
    Writing reliable code means understanding bounds. Only a finite amount of memory is available for computation, only a finite amount of time exists to do it, and every object we store and modify must be finite. Resources are similarly bounded. Stacks are bounded, queues are bounded, file system capacity is bounded, and even numbers are bounded. This makes the world of computer science very different from the world of mathematics, but too few people take this into account when they write code.
  • Keywords
    software engineering; bounded file system capacity; bounded numbers; bounded queues; bounded stacks; code writing; computer science; similarly bounded Resources; File systems; Flash memories; Radiation detectors; Random access memory; Space vehicles; Boeing 787; Curiosity; Deep Impact; Dreamliner; EPOXI; GCU; LightSail; Mars rover; counter overflow; generator control unit; reliable code; software development; software engineering;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/MS.2015.147
  • Filename
    7310984