Property Orientation in the Model Oriented Vienna Development Method (VDM)

B. K. Aichernig and A. Kerschbaumer

Abstract:

Reference: B. K. Aichernig and A. Kerschbaumer. Property orientation in the model oriented vienna development method (vdm). Technical Report IST-TEC-99-02, Institute for Software Technology (IST), Graz University of Technology, February 1999. Presented at VDM-Workshop at FM'99, Toulouse, France, September 20-24.