Database Development of a Work-Flow Planning and Tracking System Using VDM-SL

R. Schlatte and B. K. Aichernig

Abstract:

Reference: R. Schlatte and B. K. Aichernig. Database development of a work-flow planning and tracking system using VDM-SL. In J. Fitzgerald and P. G. Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, September 1999.