Show simple item record

dc.contributor.authorBuchanan, M.
dc.contributor.authorBritton, C.
dc.date.accessioned2010-07-16T10:43:26Z
dc.date.available2010-07-16T10:43:26Z
dc.date.issued1991
dc.identifier.citationBuchanan , M & Britton , C 1991 , Formal specification and object-oriented design . UH Computer Science Technical Report , vol. 134 , University of Hertfordshire .
dc.identifier.otherPURE: 99411
dc.identifier.otherPURE UUID: d2c11f38-e1a9-46d7-95b0-ca578b9716c6
dc.identifier.otherdspace: 2299/4659
dc.identifier.urihttp://hdl.handle.net/2299/4659
dc.description.abstractIn 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.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rightsOpen
dc.titleFormal specification and object-oriented designen
dc.contributor.institutionSchool of Computer Science
dcterms.dateAccepted1991
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record