2105 search results - page 152 / 421 » Decoupling in Object Orientation |
150
click to vote
EFDBS
2001
15 years 6 months ago
2001
The existing standard for object-oriented databases (ODMG) provides no facility for storing behaviour. This lack of stored behaviour introduces problems for generic applications as...
164
click to vote
FMOODS
2003
15 years 6 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
161
click to vote
FMOODS
2003
15 years 6 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
125
click to vote
OMER
2001
15 years 6 months ago
2001
of abstract from OMER Workshop Proceedings, Peter Hofmann and Andy Sch