class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
Philipp Slusallek, Reinhard Klein, Andreas Kolb, G...
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...