This volume constitutes the proceedings of the First International Symposiumorganized by the Japan Society for Software Science and Technology. The symposium was held in Kanazawa, Japan, November 4-6, 1993 and attracted many researchers from academia and industry as well as ambitioned practitioners. Object technologies, in particular object-oriented programming, object-oriented databases, and software object bases, currently attract much attention and hold a great promise of future research and development in diverse areas of advanced software. The volume contains besides 6 invited presentations by renown researchers and 25 contributed papers carefully selected by an internationalprogram committee from a total of 92 submissions.
Author(s): John Sargeant (auth.), Shojiro Nishio, Akinori Yonezawa (eds.)
Series: Lecture Notes in Computer Science 742
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 550
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Operating Systems; Database Management
Uniting functional and object-oriented programming....Pages 1-26
Traces (A cut at the “make isn't generic” problem)....Pages 27-42
Gluons: A support for software component cooperation....Pages 43-60
TAO: An object orientation kernel....Pages 61-76
Change management and consistency maintenance in software development environments using object oriented attribute grammars....Pages 77-94
Design of an integrated and extensible C++ programming environment....Pages 95-109
Metalevel decomposition in AL-1/D....Pages 110-127
Definition of a reflective kernel for a prototype-based language....Pages 128-144
Kernel structuring for object-oriented operating systems: The Apertos approach....Pages 145-162
Object database systems: Functional architecture....Pages 163-175
Maintaining behavioral consistency during schema evolution....Pages 176-193
An object-centered approach for manipulating hierarchically complex objects....Pages 194-219
Towards the unification of views and versions for object databases....Pages 220-236
Abstract view objects for multiple OODB integration....Pages 237-250
An object-oriented query model supporting views....Pages 251-263
Refactoring and aggregation....Pages 264-278
Transverse activities: Abstractions in object-oriented programming....Pages 279-296
Dynamic extensibility in a statically-compiled object-oriented language....Pages 297-314
Managing change in persistent object systems....Pages 315-338
An object-oriented pattern matching language....Pages 339-355
CLOG: A class-based logic language for object-oriented databases....Pages 356-370
Name management and object technology for advanced software....Pages 371-392
Constraints in object-oriented analysis....Pages 393-407
Integration of the tool (AWB) supporting the O * method in the PCTE-based software engineering environment....Pages 408-423
Minimizing dependency on class structures with adaptive programs....Pages 424-441
First class messages as first class continuations....Pages 442-459
A typing system for a calculus of objects....Pages 460-474
A type mechanism based on restricted CCS for distributed active objects....Pages 475-488
Adding implicit invocation to languages: Three approaches....Pages 489-510
Requirements and early experiences in the implementation of the SPADE repository using object-oriented technology....Pages 511-528
Object-oriented formal specification development using VDM....Pages 529-543
