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
Link To Document