Formal specification and object-oriented design

View/Open
Author
Buchanan, M.
Britton, C.
Abstract
In recent years, object-oriented design and formal specification languages have become increasingly important in the development of software systems. In this paper we use the formal specification languages OBJ1 and OBJ3 to investigate the extent to which they support object-oriented design in general and inheritance in particular.
Publication date
1991
Other links
http://hdl.handle.net/2299/4659
Metadata
Show full item record