DocumentCode
926982
Title
A formal specification for a hierarchy of collections
Author
Ierusalimschy, Roberto
Author_Institution
Dept. de Inf., Pontificia Univ. Catolica, Rio de Janeiro, Brazil
Volume
8
Issue
4
fYear
1993
fDate
7/1/1993 12:00:00 AM
Firstpage
237
Lastpage
245
Abstract
This paper presents a formal specification for a hierarchy of types similar to the Collection hierarchy presented by the Smalltalk language. The specification method is an extension of VDM supporting the inheritance of specifications, with the property that subtypes are `behaviour-compatible´ with their parents. This formalism gives us a clear concept of behaviour compatibility, and is used to justify the hierarchy structure and to compare the inheritance of specifications, adopted, with the inheritance of implementations, adopted in Smalltalk
Keywords
Vienna development method; formal specification; inheritance; object-oriented methods; Collection hierarchy; Smalltalk; VDM; behaviour compatibility; formal specification; hierarchy of collections; inheritance;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
225550
Link To Document