DocumentCode
1163578
Title
A survey of object orientation in Z
Author
Stepney, Susan ; Barden, Rosalind ; Cooper, David
Author_Institution
Logica Cambridge Ltd., UK
Volume
7
Issue
2
fYear
1992
fDate
3/1/1992 12:00:00 AM
Firstpage
150
Lastpage
160
Abstract
Two technologies offer much to the software industry; formal specification aids precision and object orientation aids structuring. One popular formal specification language is Z. The paper surveys techniques for adding object-oriented structuring to Z and looks at three of them in more detail
Keywords
formal specification; object-oriented programming; specification languages; Z; formal specification language; object-oriented structuring;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
135871
Link To Document