Object Technologies for Advanced Software First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings
Başlık:
Object Technologies for Advanced Software First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings
ISBN:
9783540480754
Edition:
1st ed. 1993.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993.
Fiziksel Tanımlama:
X, 550 p. online resource.
Series:
Lecture Notes in Computer Science, 742
Contents:
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.
Abstract:
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.
Ek Kurum Yazarı:
Elektronik Erişim:
Full Text Available From Springer Nature Computer Science Archive Packages
Dil:
English