Searching for authors named "Anna Mikhajlova" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Reasoning About Object Clients and Distributed Object Interaction
- …Reasoning About Object Clients and Distributed Object Interaction Anna Mikhajlova Turku Centre…
- Cited by 1 (0 self) – Add To MetaCart
-
Consistent Extension of Components in Presence of Explicit Invariants
- …Consistent Extension of Components in Presence of Explicit Invariants Anna Mikhajlova Turku…
- Cited by 5 (2 self) – Add To MetaCart
-
Class re nement and interface re nement in object-oriented programs
- …Class Re nement and Interface Re nement in Object-Oriented Programs Anna Mikhajlova 1 and Emil…
- Cited by 3 (2 self) – Add To MetaCart
-
Ensuring Correctness of Object and Component Systems
- …Ensuring Correctness of Object and Component Systems TUCS by Anna Mikhajlova Turku Centre…
- Cited by 7 (0 self) – Add To MetaCart
-
Ensuring Correctness of Java Frameworks: A Formal Look at JCF
- …Ensuring Correctness of Java Frameworks: A Formal Look at JCF Anna Mikhajlova Turku Centre…
- Cited by 1 (0 self) – Add To MetaCart
-
Class Refinement as Semantics of Correct Object Substitutability
- …Class Refinement as Semantics of Correct Object Substitutability Ralph-Johan Back, Anna Mikhajlova…
- Cited by 11 (4 self) – Add To MetaCart
-
Class Refinement as Semantics of Correct Subclassing
- …Class Refinement as Semantics of Correct Subclassing Ralph Back, Anna Mikhajlova, Joakim von…
- Cited by 5 (4 self) – Add To MetaCart
-
Class refinement and interface refinement in object-oriented programs
- … Class Refinement and Interface Refinement in Object-Oriented Programs \Lambda Anna Mikhajlova…
- Cited by 35 (5 self) – Add To MetaCart
-
Modeling Component Environments and Interactive Programs Using Iterative Choice
- …Modeling Component Environments and Interactive Programs Using Iterative Choice Ralph Back, Anna…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 9.
