. Virtual Classes & Polymorphism. Example (revisited) u We want to implement a graphics system u We plan to have lists of shape. Each shape should be.
Efficient Methods for Solving Finite Satisfiability Problems in UML Class Diagrams