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	14 Nov 2024 10:30
Last Modified	14 Nov 2024 10:30

[error in script]

picture_as_pdf

picture_as_pdf: CSTR 134.pdf

View

Download

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