R. Duke, P. King, and G. Smith. Formalising behavioural compatibility for reactive object-oriented systems. In Proceedings of 14th Australian Computer Science Conference (ACSC-14), 1991. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Comparison of Object-Oriented Formal Methods - Guelfi, Biberstein, Buchs.. (3 citations) (Correct)
....The visibility lists may be used to disable inheritance of properties of a class. Redefinition of properties may be achieved by hiding and renaming of properties. The table answers are given with respect to the informations collected in the following bibliographic references: LH94a, DD90, DKRS91, DKS91] Object Based Criteria Value Comments object and states Y encapsulation Y synchronous requests Y Method calling asynchronous requests N No explicit messages data abstraction Y Inherited from Z data struct. of objects Y Classes are considered as types and may be used accordingly object identity ....
R. Duke, P. King, and G. Smith. Formalising behavioural compatibility for reactive object-oriented systems. In Proceedings of 14th Australian Computer Science Conference (ACSC-14), 1991.
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