This volume constitutes the proceedings of the FirstInternational Symposiumorganized by the Japan Society forSoftware Science and Technology. The symposium was held inKanazawa, Japan, November 4-6, 1993 and attracted manyresearchers from academia and industry as well as ambitionedpractitioners.Object technologies, in particular object-orientedprogramming, object-oriented databases, and software objectbases, currently attract much attention and hold a greatpromise of future research and development in diverse areasof advanced software.The volume contains besides 6 invited presentations byrenown researchers and 25 contributed papers carefullyselected by an internationalprogram committee from a totalof 92 submissions.
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.
Series: Lecture Notes in Computer Science
Number Of Pages: 550
Published: 7th October 1993
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6
Weight (kg): 0.78