the proceedings contain 26 papers. the special focus in this conference is on Modelling Ideas and Experiences. the topics include: Multiperspective application development in evolutionary prototyping;extending the ODM...
ISBN:
(纸本)3540647376
the proceedings contain 26 papers. the special focus in this conference is on Modelling Ideas and Experiences. the topics include: Multiperspective application development in evolutionary prototyping;extending the ODMG object model with time;a unified object-oriented language for system modeling and simulation;synthesizing object-oriented and functional design to promote re-use;precise visual specification of design patterns;framework design for end-to-end optimization;flexible alias protection;a unified theory of dispatch;orthogonal to the java imperative;modelling a distributed cached store for garbage collection;cyclic distributed garbage collection with group merger;experiences developing a virtual shared memory system using high-level object paradigms;binary component adaptation;object-oriented architectural support for a java processor;a study of the fragile base class problem;providing orthogonal persistence for java;wrappers to the rescue;design and partial evaluation of meta-objects for a concurrent reflective language and reflection for statically typed languages.
the proceedings contain 9 papers. the topics discussed include: complete coinductive subtyping for abstract compilation of object-oriented languages;towards a semantic model for java wildcards;strong exception-safety ...
ISBN:
(纸本)9781450305402
the proceedings contain 9 papers. the topics discussed include: complete coinductive subtyping for abstract compilation of object-oriented languages;towards a semantic model for java wildcards;strong exception-safety for java-like languages;modular verification of linked lists with views via separation logic;procedure-modular verification of control flow safety properties;prototyping a tool environment for run-time assertion checking in JML with communication histories;aliasing control with view-based typestate;refactoring and representation independence for class hierarchies;and a theory of typestate-orientedprogramming.
the proceedings contain 6 papers. the topics discussed include: declarative layer composition in framework-based environments;scoping changes in self-supporting development environments with context- oriented programm...
ISBN:
(纸本)9781450312769
the proceedings contain 6 papers. the topics discussed include: declarative layer composition in framework-based environments;scoping changes in self-supporting development environments with context- orientedprogramming;uniting global and local context behavior with context petri nets;bridging real-world contexts and units of behavioral variations by composite layers;and DynamicSchema: a lightweight persistency framework for context-oriented data management.
the proceedings contain 20 papers. the special focus in this conference is on object-oriented Technology. the topics include: Resource management for safe languages;tools and environments for learning object-oriented ...
ISBN:
(纸本)3540002332
the proceedings contain 20 papers. the special focus in this conference is on object-oriented Technology. the topics include: Resource management for safe languages;tools and environments for learning object-oriented concepts;12th workshop for PHD students in objectoriented systems;concrete communication abstractions of the next 701 distributed object systems;unanticipated software evolution;quantitative approaches in object-oriented software engineering;multiparadigm programming withobject-oriented languages;knowledge-based object-oriented software engineering;object-orientation and operating systems;integration and transformation of UML models and formal techniques for java-like programs.
the QAOOSE2008 workshop has been held at, ecoop 2008 conference in Paphos, Cyprus on July 8th, 2008. this was the twelfth of the series of QAOOSE workshops intended to bring researchers and practitioners both from aca...
详细信息
ISBN:
(纸本)9783642020469
the QAOOSE2008 workshop has been held at, ecoop 2008 conference in Paphos, Cyprus on July 8th, 2008. this was the twelfth of the series of QAOOSE workshops intended to bring researchers and practitioners both from academia and industry together. the workshop provided a forum to discuss the current state of the art and the practice in the area of quantitative approaches in the related to object-orientation. this report includes a summary of the technical presentations and the subsequent discussions. Six papers has been accepted by the workshop organizers. the presentations were followed by vivid discussions.
Engineers in many disciplines use state machines to reason about system changes, and many object-oriented libraries require their clients to follow state machine protocols. No existing language, however, has native su...
详细信息
Mixin layers are a technique for implementing layered object-oriented designs (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scaled to a multiple-class granula...
详细信息
An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilities in object-oriented languages are either compl...
详细信息
暂无评论