Contents

0.    Abstract

1.    Introduction

2.    Requirements Tracing

3.    SQA for Object Models

4.    Reuse for Object Design

5.    Model Verification:  The Use2  Verifier

6.    Verification of Programs:  Java Path Finder

7.    eCommerce Models

8.    Model-based Testing

9.    Unit Testing  :-(

10.  Software Usability

11.  Datebase Quality
 

Appendices

Fall 1999 Project

Summer 1998 Project

Testing of GeoCrack3D