Titlebook: ECOOP 2011--Object-Oriented Programming; 25th European Confer Mira Mezini Conference proceedings 2011 Springer-Verlag GmbH Berlin Heidelber

激怒某人

Expressiveness, Simplicity, and Usersuccessful. Oftentimes it is the simplest ideas that seem to get the most traction in the larger research or user community and therefore have the greatest impact. Ideas I might consider the most sophisticated and advanced can be challenging to communicate, leading to less influence and adoption. Thi

CLAIM

CDDiff: Semantic Differencing for Class Diagrams As models, programs, and systems evolve over time, during the development lifecycle and beyond it, effective change management is a major challenge in software development, which has attracted much research efforts in recent years..In this paper we present ., a semantic diff operator for CDs. Unlik

Affectation

A Refactoring Constraint Language and Its Application to Eiffelrefactorings in a completely declarative way. We present a compiler that transforms specifications in our language to plug-ins for an IDE that, together with an accompanying framework providing the necessary infrastructure, implement the specified refactoring tools. We evaluate our approach by prese

Congregate

Modal Object Diagramse specific possible snapshots of the system at hand. In this paper we introduce ... (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. The extended language allows the designer to specify not only positive example models but also negative examples

兵團(tuán)

Needlework

Tunable Static Inference for Generic Universe Typeson overhead of ownership type systems hampers their widespread application. This paper addresses this issue by presenting a tunable static type inference for Generic Universe Types. In contrast to classical type systems, ownership types have no single most general typing. Our inference chooses among

只有

偶像

Patterns of Memory Inefficiencycult to find the low hanging fruit. Techniques relying on dominance or allocation tracking fail to account for sharing, and overwhelm users with small details. More fundamentally, a programmer still needs to know whether high levels of consumption are . high..We present a solution that discovers a s

Manifest

Intercept