Database Programming by Formal Refinement of Conceptual Designs

Joachim W. Schmidt, Ingrid Wetzel, Alexander Borgida, John Mylopoulos. Database Programming by Formal Refinement of Conceptual Designs. IEEE Data Eng. Bull., 12(3):53-61, 1989. [doi]

Abstract

Abstract is missing.