University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        Smoothing the transition from formal specification to object-oriented implementation

        View/Open
        CSTR 213.pdf (PDF, 3Mb)
        Author
        Taylor, P.N.
        Smith, D.E.
        Attention
        2299/4952
        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.
        Publication date
        1995
        Other links
        http://hdl.handle.net/2299/4952
        Metadata
        Show full item record
        Keep in touch

        © 2019 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan