University of Hertfordshire

Formal specification and object-oriented design

Research output: Book/ReportOther report


  • M. Buchanan
  • C. Britton
View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1991

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire


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.

ID: 99411