Titlebook: Objects, Components, Models, Patterns; 49th International C Judith Bishop,Antonio Vallecillo Conference proceedings 2011 Springer-Verlag Gm

不自然

gene-therapy

FUME

Metamodel Dependencies for Executable Models,coordination of models is achieved by describing how their elements should interact, and mapping those descriptions into low level coordination primitives. Moreover, the description of the coordination is described externally: it does not have an impact either on the metamodels or on the models, and

BOOM

子女

Unifying Subjectivity,d in the past, based, for example, on perspectives, roles, contextual layers, and “force trees”. Although these approaches are somehow equally expressive, each imposes a particular world view which may not be appropriate for all applications. We propose a unification of these approaches, called Subj

Talkative

持久

A Heuristic Approach for Computing Effects,acted to access path permissions, the effect can serve as part of the operation’s documentation, augmenting a type signature or a contract for the operation. Statically determining such an effect is a challenging problem, in particular in a dynamic language which represents objects by hash tables li

征服

Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming describes a quasi-controlled experiment which compares the evolution of two functionally equivalent programs, developed in two different paradigms. The aim of the study is to explore the claims that software developed with aspect-oriented languages is easier to maintain and reuse than this develope

新鮮

有角

Location Types for Safe Distributed Object-Oriented Programming,es. Accessing a reference in RMI has crucial different semantics depending on whether the referred object is local or remote. Nevertheless, such references are not statically distinguished by the type system..This paper presents ., which statically distinguish . from . references. We present a forma