VDM++, a formal specification language for object-oriented designs

@article{Durr1992VDMAF,
  title={VDM++, a formal specification language for object-oriented designs},
  author={Emil Durr and J. van Katwijk},
  journal={CompEuro 1992 Proceedings Computer Systems and Software Engineering},
  year={1992},
  pages={214-219}
}
Some general issues in the design of VDM++ are discussed. VDM++ extends VDM by offering classes, objects and inheritance and provides as an additional feature, a formalism to specify the allowed invocation sequence of methods. The design of VDM++ is such that any specification in VDM++ can be translated automatically into a specification in classical flat VDM, as defined in BSI/IST/5/50, thereby implicitly defining the semantics in terms of the semantics of VDM.<<ETX>> 

Citations

Publications citing this paper.
SHOWING 1-10 OF 41 CITATIONS