dc.contributor.author | Taylor, P.N. | |
dc.contributor.author | Smith, D.E. | |
dc.date.accessioned | 2010-11-02T15:39:25Z | |
dc.date.available | 2010-11-02T15:39:25Z | |
dc.date.issued | 1995 | |
dc.identifier.citation | Taylor , P N & Smith , D E 1995 , Smoothing the transition from formal specification to object-oriented implementation . UH Computer Science Technical Report , vol. 213 , University of Hertfordshire . | |
dc.identifier.other | PURE: 96817 | |
dc.identifier.other | PURE UUID: 34fdc0cd-d45e-41b6-9b50-5fbb9f9a7fa4 | |
dc.identifier.other | dspace: 2299/4952 | |
dc.identifier.uri | http://hdl.handle.net/2299/4952 | |
dc.description | Introducing ImpSpec - a framework for modifying standard specifications to incorporate object-oriented design techniques. | |
dc.description.abstract | The advances in object-oriented design and programming languages have left many formal specification languages behind in terms of the facilities offered to the specifier. The very languages that were developed to formalise the design of systems, prior to implementation, no longer support the design techniques or programming languages that are now being used for that implementation. | en |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | Smoothing the transition from formal specification to object-oriented implementation | en |
dc.contributor.institution | School of Computer Science | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |