This paper was presented at the STAREAST 2001 conference. It is offered here unedited, in its original format.
Summary:Organizations face many problems that impede rapid development of software systems critical to their operations and growth. This paper discusses model-based development and test automation methods that reduce the time and resources necessary to develop high quality systems. The focus is how organizations have implemented this approach of model-based verification to reduce requirements defects, manual test development effort, and development rework to achieve significant cost and schedule savings.
Click PDF below to read the article