Includes supplementary material: [...]

On unifying relational and object-oriented database systems.- Import is not inheritance why we need both: Modules and classes.- Object-oriented multi-methods in Cecil.- Aggregation in a behavior oriented object model.- Reasoning and refinement in object-oriented specification languages.- Combining object-oriented and logic paradigms: A modal logic programming approach.- An incremental class reorganization approach.- System design by composing structures of interacting objects.- Unifying the design and implementation of user interfaces through the object paradigm.- Nesting actions through asynchronous message passing : The ACS protocol.- Inheritance of synchronization constraints in concurrent object-oriented programming languages.- EPEE: an eiffel environment to program distributed memory parallel computers.- Using object-oriented programming techniques for implementing ISDN supplementary services.- An object model for engineering design.- An object-oriented class library for scalable parallel heuristic search.- Integrating constraints with an object-oriented language.- Specifying reusable components using contracts.- ACTS: A type system for object-oriented programming based on abstract and concrete classes.- Making type inference practical.- A reflective model of inheritance.- An object-oriented language-database integration model: The composition-filters approach.- Supporting physical independence in an Object Database Server.- Developing a class hierarchy for object-oriented transaction processing.