INTEGRATED FORMAL and OBJECT-ORIENTED METHODS: The VDM++ Approach
Kevin Lano, Stephen J. Goldsack · Electronic workshops in computing · 1996
This paper describes methods integration techniques and tools developed for the VDM ++ formal specification language. Case studies which have been carried out for the language using tool support for the integrated development method are also described. The original features of the method are its use of highly abstract initial specifications to avoid the design bias of object-oriented structuring, and the formal treatment of structural transformations.