| dc.contributor.author | Buchanan, M. | |
| dc.contributor.author | Britton, C. | |
| dc.date.accessioned | 2010-07-16T10:43:26Z | |
| dc.date.available | 2010-07-16T10:43:26Z | |
| dc.date.issued | 1991 | |
| dc.identifier.citation | Buchanan , M & Britton , C 1991 , Formal specification and object-oriented design . UH Computer Science Technical Report , vol. 134 , University of Hertfordshire . | |
| dc.identifier.other | PURE: 99411 | |
| dc.identifier.other | PURE UUID: d2c11f38-e1a9-46d7-95b0-ca578b9716c6 | |
| dc.identifier.other | dspace: 2299/4659 | |
| dc.identifier.uri | http://hdl.handle.net/2299/4659 | |
| dc.description.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. | en |
| dc.language.iso | eng | |
| dc.publisher | University of Hertfordshire | |
| dc.relation.ispartofseries | UH Computer Science Technical Report | |
| dc.title | Formal specification and object-oriented design | en |
| dc.contributor.institution | School of Computer Science | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
