Antonio Alencar and Joseph Goguen. Speci cation in OOZE with examples. In Object Oriented Speci cation Case Studies, pages 158-183. Prentice Hall, 1993. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Towards an Algebraic Semantics for the Object Paradigm - Goguen, Diaconescu (1994) (43 citations) Self-citation (Goguen) (Correct)
....notions can be used to give semantics for existing languages, although the details will necessarily involve a degree of awkwardness matching that of the language involved. We feel that the cleanliness of semantic based design is particularly appropriate for languages (like FOOPS [23, 35] and OOZE [2, 1]) that are intended to be used for speci cation and prototyping . 2 Prerequisites and Preliminaries We assume familiarity with basics of the object paradigm (e.g. the notions of object, class, attribute, method and inheritance) with overloaded many sorted algebra, and with the notation of ....
Antonio Alencar and Joseph Goguen. Speci cation in OOZE with examples. In Object Oriented Speci cation Case Studies, pages 158-183. Prentice Hall, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC