Smoothing the transition from formal specification to object-oriented implementation

P.N. Taylor, D.E. Smith

    Research output: Book/ReportOther report

    30 Downloads (Pure)

    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.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1995

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire
    Volume213

    Fingerprint

    Dive into the research topics of 'Smoothing the transition from formal specification to object-oriented implementation'. Together they form a unique fingerprint.

    Cite this