the proceedings contain 19 papers. the special focus in this conference is on object-oriented Technology. the topics include: Exception handling in objectoriented systems;parallel object-oriented scientific computing...
ISBN:
(纸本)9783540224051
the proceedings contain 19 papers. the special focus in this conference is on object-oriented Technology. the topics include: Exception handling in objectoriented systems;parallel object-oriented scientific computing today;communication abstractions for distributed systems;workshop for PHD students in objectorientedprogramming;formal techniques for java-like programs;quantitative approaches in object-oriented software engineering;tools and environments for learning object-oriented concepts;patterns in teaching software development;object-oriented language engineering for the post-java era;modeling variability for object-oriented product lines;advancing the state of the art in run-time inspection and aliasing, confinement, and ownership in object-orientedprogramming.
the proceedings contain 21 papers. the special focus in this conference is on object-orientedprogramming. the topics include: Built-in object security;modeling crosscutting in aspect-oriented mechanisms;spontaneous c...
ISBN:
(纸本)9783540405313
the proceedings contain 21 papers. the special focus in this conference is on object-orientedprogramming. the topics include: Built-in object security;modeling crosscutting in aspect-oriented mechanisms;spontaneous container services;a calculus of untyped aspect-oriented programs;language support for connector abstractions;mobile object exchange for collaborative applications;regular object types;external uniqueness is unique enough;a nominal theory of objects with dependent types;composable units of behaviour;a type system and analysis for the automatic extraction and enforcement of design information;an automated and lightweight tool for diagnosing memory leaks in large java applications;java subtype tests in real-time;discovering algebraic specifications from java classes;a refinement algebra for object-orientedprogramming and object-oriented reading techniques for inspection of UML models - an industrial experiment.
this report summarizes the various discussions and results from the Workshop on Analysis of Aspect-oriented Software held in conjunction withthe europeanconference on object-orientedprogramming (ecoop) in Darmstadt...
详细信息
ISBN:
(纸本)354022405X
this report summarizes the various discussions and results from the Workshop on Analysis of Aspect-oriented Software held in conjunction withthe europeanconference on object-orientedprogramming (ecoop) in Darmstadt, Germany, July 2003.
the ecoop Workshop on Mobile object Systems is now in its 9th year. Over the years, the workshop has dealt with topics related to the movement of code and data between application platforms, security, operating system...
ISBN:
(纸本)354022405X
the ecoop Workshop on Mobile object Systems is now in its 9th year. Over the years, the workshop has dealt with topics related to the movement of code and data between application platforms, security, operating system support, application quality of service, and programming language paradigms. In many cases, the workshop has been a forum to discussed traditional object-oriented issues, since mobility influences such a broad spectrum of topics.
this report covers the eighth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted pos...
详细信息
ISBN:
(纸本)354022405X
this report covers the eighth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted position papers as well as those made by all attendees of the workshop sessions.
Modeling four aspect-orientedprogramming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of what is required to support crosscut...
详细信息
ISBN:
(纸本)3540405313
Modeling four aspect-orientedprogramming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of what is required to support crosscutting structure: a common frame of reference that two (or more) programs can use to connect with each other and each provide their semantic contribution.
In this article we introduce a comprehensive set of algebraic laws for ROOL, a language similar to sequential Java but with a copy semantics. We present a few laws of commands, but focus on the object-oriented feature...
详细信息
ISBN:
(纸本)3540405313
In this article we introduce a comprehensive set of algebraic laws for ROOL, a language similar to sequential Java but with a copy semantics. We present a few laws of commands, but focus on the object-oriented features of the language. We show that this set of laws is complete in the sense that it is sufficient to reduce an arbitrary ROOL program to a normal form expressed in a restricted subset of the ROOL operators. We also propose a law for data refinement that generalises the technique from traditional modules to class hierarchies. Together, these laws are expressive enough to derive more elaborate rules that can be useful, for example, to formalize object-oriented design practices;this is illustrated through the systematic derivation of a refactoring from the proposed laws.
EOOWS (european workshop on object Orientation and Web Services) brought together the academic and the industrial perspective on Web Services. Specific results presented by the workshop participants and the broad expe...
详细信息
ISBN:
(纸本)354022405X
EOOWS (european workshop on object Orientation and Web Services) brought together the academic and the industrial perspective on Web Services. Specific results presented by the workshop participants and the broad experience of the invited speakers provided the base for a lively discussion on the challenges and potentials of service-oriented computing in relation to object-oriented technologies and methodologies. this report summarises the activities and main threads of discussion within the workshop, as well as the conclusions reached by the participants.
Software connectors are increasingly recognized as an important consideration in the design and implementation of object-oriented software systems. Connectors can be used to communicate across a distributed system, co...
详细信息
ISBN:
(纸本)3540405313
Software connectors are increasingly recognized as an important consideration in the design and implementation of object-oriented software systems. Connectors can be used to communicate across a distributed system, coordinate the activities of several objects, or adapt one object's interface to the interface of another. Mainstream object-oriented languages, however, do not provide explicit support for connectors. As a result, connection code is intermingled with application code, making it difficult to understand, evolve, and reuse connection mechanisms. In this paper, we add language support for user-defined connectors to the ArchJava language. Our design enables a wide range of connector abstractions, including caches, events, streams, and remote method calls. Developers can describe boththe run-time semantics of connectors and the typechecking semantics. the connector abstraction supported by ArchJava cleanly separates reusable connection code from application logic, making the semantics of connections more explicit and allowing engineers to easily change the connection mechanisms used in a program. We evaluate the expressiveness and the engineering benefits of our design in a case study applying ArchJava to the PlantCare ubiquitous computing application.
暂无评论