Representing Object Models as Theories

Scott A. DeLoach, Paul D. Bailor, Thomas C. Hartrum. Representing Object Models as Theories. In KBSE. pages 28-35, 1995.

Abstract

Abstract is missing.