Formal specification and object-oriented design

Buchanan, M. and Britton, C. (1991) Formal specification and object-oriented design. UH Computer Science Technical Report . 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 Book
Date Deposited 15 May 2025 16:00
Last Modified 30 May 2025 23:22

Explore Further

picture_as_pdf
CSTR+134.pdf
View Download

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

Downloads