Object Technologies for Advanced Software: First Jssst International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings

ISBN-13: 9783540573425 / Angielski / Miękka / 1993 / 550 str.

Shojiro Nishio; Akinori Yonezawa

Opis

This volume contains the proceedings of an international conference organized by the Japan Society for Software Science and Technology. Discussion focused on object technologies, in particular object-oriented programming, object-oriented databases and software object bases.

Spis treści

Uniting functional and object-oriented programming.- Traces (A cut at the “make isn't generic” problem).- Gluons: A support for software component cooperation.- TAO: An object orientation kernel.- Change management and consistency maintenance in software development environments using object oriented attribute grammars.- Design of an integrated and extensible C++ programming environment.- Metalevel decomposition in AL-1/D.- Definition of a reflective kernel for a prototype-based language.- Kernel structuring for object-oriented operating systems: The Apertos approach.- Object database systems: Functional architecture.- Maintaining behavioral consistency during schema evolution.- An object-centered approach for manipulating hierarchically complex objects.- Towards the unification of views and versions for object databases.- Abstract view objects for multiple OODB integration.- An object-oriented query model supporting views.- Refactoring and aggregation.- Transverse activities: Abstractions in object-oriented programming.- Dynamic extensibility in a statically-compiled object-oriented language.- Managing change in persistent object systems.- An object-oriented pattern matching language.- CLOG: A class-based logic language for object-oriented databases.- Name management and object technology for advanced software.- Constraints in object-oriented analysis.- Integration of the tool (AWB) supporting the O* method in the PCTE-based software engineering environment.- Minimizing dependency on class structures with adaptive programs.- First class messages as first class continuations.- A typing system for a calculus of objects.- A type mechanism based on restricted CCS for distributed active objects.- Adding implicit invocation to languages: Three approaches.- Requirements and early experiences in the implementation of the SPADE repository using object-oriented technology.- Object-oriented formal specification development using VDM.