Title :
Predicting computer behavior
Author_Institution :
Comput. Logic Inc., Austin, TX, USA
fDate :
June 27 1988-July 1 1988
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;
Conference_Titel :
Computer Assurance, 1988. COMPASS '88
Conference_Location :
Gaithersburg, MD, USA
DOI :
10.1109/CMPASS.1988.9640
