Formal transformations from graphically-based object-oriented representations to theory-based specifications
Scott A. DeLoach · 1996
Approved for public release; distribution unlimited The views expressed in this dissertation are those of the author and do not re ect the ocial policy or position of the Department of Defense or the U. S. Government. AFIT/DS/ENG/96-05