Abstract
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 language | English |
|---|---|
| Publisher | University of Hertfordshire |
| Publication status | Published - 1991 |
Publication series
| Name | UH Computer Science Technical Report |
|---|---|
| Publisher | University of Hertfordshire |
| Volume | 134 |