Developing VDM ++ operations from UML diagrams
(2008)
Thesis
Mit, E. Developing VDM ++ operations from UML diagrams. (Thesis). University of Salford
The Unified Modelling Language (UML) is widely accepted as the standard notation for Object-Oriented methods. However, one of its major problem is its lack of formal semantics. The development of the Object Constraints Language (OCL) in the last f... Read More about Developing VDM ++ operations from UML diagrams.