Title :
VDM++, a formal specification language for object-oriented designs
Author :
Dürr, Eugène ; van Katwijk, Jan
Author_Institution :
Fac. of Phys. & Astron., Utrecht Univ., Netherlands
Abstract :
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.<>
Keywords :
Vienna development method; formal specification; object-oriented programming; specification languages; BSI/IST/5/50; VDM++; allowed invocation sequence; classes; classical flat VDM; formal specification language; general issues; inheritance; object-oriented designs; semantics; Application software; Astronomy; Design methodology; Formal specifications; Object oriented modeling; Physics; Programming; Software safety; Software standards; Technological innovation;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218511
