DocumentCode
1859298
Title
Predicting computer behavior
Author
Good, Donald I.
Author_Institution
Comput. Logic Inc., Austin, TX, USA
fYear
1988
fDate
June 27 1988-July 1 1988
Firstpage
75
Lastpage
83
Abstract
The major scientific and mathematical problems that need to be solved to advance the state of digital-system engineering practice are identified. Mathematics for digital systems is discussed for describing system behavior, defining acceptable behavior, demonstrating acceptable behavior, and scaling up. Current and future digital system engineering on the basis of these foundations is examined.<>
Keywords
computer testing; performance evaluation; software engineering; systems analysis; acceptable behavior; computer behaviour prediction; digital-system engineering practice; future digital system engineering; mathematical problems; scaling up; scientific problems; system behavior; Computer bugs; Conductors; Digital systems; Electrical resistance measurement; Equations; Logic; Mathematics; Systems engineering and theory; Transforms; Voltage;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1988. COMPASS '88
Conference_Location
Gaithersburg, MD, USA
Type
conf
DOI
10.1109/CMPASS.1988.9640
Filename
9640
Link To Document