DocumentCode
3166666
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
fYear
1992
fDate
4-8 May 1992
Firstpage
214
Lastpage
219
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;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location
The Hague, Netherlands
Print_ISBN
0-8186-2760-3
Type
conf
DOI
10.1109/CMPEUR.1992.218511
Filename
218511
Link To Document