The Use of Case Tools as an Aid to the Verification of Complex Software Systems

Abstract

The past several years have seen many technological advances in both computer hardware and software. Computer software is becoming very complex. Computer hardware and software have virtually taken over every aspect of our lives, both in the home and in the workplace. The Government is looking at computer modeling and simulation (M/S) as a way of predicting complex system behavior without having to construct expensive prototypes or conduct extensive field tests. Decision makers are demanding that the use of M/S be made an integral part of any major system acquisition.