Formal specification and object-oriented design

M. Buchanan, C. Britton

    Research output: Book/ReportOther report

    32 Downloads (Pure)


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

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire


    Dive into the research topics of 'Formal specification and object-oriented design'. Together they form a unique fingerprint.

    Cite this