2 citations found. Retrieving documents...
D. Harel and O. Kupferman. On object systems and behavioral inheritance. IEEE Trans. Software Engineering, 28(9):889-903, 2002.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Deductive Verification of UML Models in TLPVS - Arons, Hooman, Kugler.. (2004)   (Correct)

No context found.

D. Harel and O. Kupferman. On object systems and behavioral inheritance. IEEE Trans. Software Engineering, 28(9):889-903, 2002.


Behavioral Substitutability in Component Frameworks: A.. - Moisan, Ressouche.. (2003)   (3 citations)  (Correct)

No context found.

D. Harel and O. Kupferman. On object systems and behavioral inheritance. IEEE Trans. Software Engineering, 28(9):889--903, 2002.

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