Show simple item record

dc.contributor.authorTaylor, P.N.
dc.contributor.authorSmith, D.E.
dc.date.accessioned2010-11-02T15:39:25Z
dc.date.available2010-11-02T15:39:25Z
dc.date.issued1995
dc.identifier.citationTaylor , 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.otherPURE: 96817
dc.identifier.otherPURE UUID: 34fdc0cd-d45e-41b6-9b50-5fbb9f9a7fa4
dc.identifier.otherdspace: 2299/4952
dc.identifier.urihttp://hdl.handle.net/2299/4952
dc.descriptionIntroducing ImpSpec - a framework for modifying standard specifications to incorporate object-oriented design techniques.
dc.description.abstractThe 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.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.titleSmoothing the transition from formal specification to object-oriented implementationen
dc.contributor.institutionSchool of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record