27. ECOOP 2013: Montpellier, France

Aspects, Components, and Modularity

Types

Language Design

Concurrency, Parallelism, and Distribution

Analysis and Verification 1

Analysis and Verification 2

Modelling and Refactoring

Testing, Profiling, and Empirical Studies

Implementation

a service of Schloss Dagstuhl - Leibniz Center for Informatics