|
AOSD 2012 Companion Table of Contents MODULARITY:
aosd.12–Chairs’ Welcome
MODULARITY: aosd.12-Organization MODULARITY: aosd.12-Sponsor & Supporters AOSD 2012 Companion Author Index Keynote
Address 1 What
to Do When Things Go Wrong: Recovery in Complex (Computer) Systems
(Page 1) Keynote
Address 2 Objects
of the People, By the People, and For the People
(Page 3) Keynote
Address 3 Aspects
as Latent Topics
(Page 5) Keynote
Address 4 Implementing
Language-Based Virtual Machines
(Page 7) |
|||||||||||||||
A
Unified Formal Model for Service Oriented Architecture to Enforce Security
Contracts
(Page 9) Compositional
Verification of Events and Aspects
(Page 11) Membranes
for AOP: From Vision to Practice
(Page 13) An
Aspect-Oriented Framework for Development of Dynamic Content
(Page 15) Tearing
Down the Multicore Barrier for Web Applications
(Page 17) Adding
High-Level Concurrency to EScala
(Page 19) A
Scalable and Accurate Approach Based on Count Matrix for Detecting Code
Clones
(Page 21) |
||||||||||||||||
Emergo:
A Tool for Improving Maintainability of Preprocessor-based Product Lines
(Page 23) Experiments
with the LARA Aspect-Oriented Approach
(Page 27) PHANtom:
An Aspect Language for Pharo Smalltalk
(Page 31) |
||||||||||||||||