Formal specification and object-oriented design

Buchanan, M. and Britton, C. (1991) Formal specification and object-oriented design. University of Hertfordshire.
Copy

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.
Item Type Other
Date Deposited 26 Jul 2024 21:15
Last Modified 26 Jul 2024 21:15

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads
picture_as_pdf
CSTR 134.pdf
View Download

Explore Further

Read more research from the creator(s):

Find work associated with the faculties and division(s):