MODULARITY 2016
15th International Conference on Modularity (MODULARITY 2016)
Powered by
Conference Publishing Consulting

15th International Conference on Modularity (MODULARITY 2016), March 14–17, 2016, Málaga, Spain

MODULARITY 2016 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the General Chair
Messages from the PC Chairs
Modularity 2016 Organization

Modularity Research Results

Modular Design and Reasoning

Segregating Feature Interfaces to Support Software Product Line Maintenance
Bruno B. P. Cafeo, Claus Hunsen, Alessandro Garcia, Sven Apel, and Jaejoon Lee
(PUC-Rio, Brazil; University of Passau, Germany; Lancaster University, UK)
Publisher's Version Article Search
Reasoning Tradeoffs in Languages with Enhanced Modularity Features
José Sánchez and Gary T. Leavens
(Universidad Nacional, Costa Rica; University of Central Florida, USA)
Publisher's Version Article Search
Unveiling and Reasoning about Co-change Dependencies
Marcos César de Oliveira, Rodrigo Bonifácio, Guilherme N. Ramos, and Márcio Ribeiro
(MPOG, Brazil; University of Brasília, Brazil; Federal University of Alagoas, Brazil)
Publisher's Version Article Search
The Expression Problem, Trivially!
Yanlin Wang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version Article Search

Concurrency and Recovery

A Type-and-Effect System for Asynchronous, Typed Events
Yuheng Long and Hridesh Rajan
(Iowa State University, USA)
Publisher's Version Article Search
On Ordering Problems in Message Passing Software
Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, and Hridesh Rajan
(Iowa State University, USA)
Publisher's Version Article Search
Fault Tolerance with Aspects: A Feasibility Study
Sven Karol, Norman A. Rink, Bálint Gyapjas, and Jeronimo Castrillon
(TU Dresden, Germany)
Publisher's Version Article Search

Languages and Modularity

Modularity and Optimization in Synergy
Walter Cazzola and Albert Shaqiri
(University of Milan, Italy)
Publisher's Version Article Search
Cooperative Decoupled Processes: The E-Calculus and Linearity
Andi Bejleri, Mira Mezini, and Patrick Eugster
(TU Darmstadt, Germany; Lancaster University, UK; Purdue University, USA)
Publisher's Version Article Search
CPL: A Core Language for Cloud Computing
Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; Lancaster University, UK)
Publisher's Version Article Search

Modularity Visions

Modularity Mechanisms

Modular Architecture for Code and Metadata Sharing
Tomas Tauber and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version Article Search
Matriona: Class Nesting with Parameterization in Squeak/Smalltalk
Matthias Springer, Fabio Niephaus, Robert Hirschfeld, and Hidehiko Masuhara
(HPI, Germany; Tokyo Institute of Technology, Japan; SAP Labs, USA; Viewpoints Research Institute, USA)
Publisher's Version Article Search

Modularity and Architecture

On Structuring Holistic Fault Tolerance
Rem Gensh, Alexander Romanovsky, and Alex Yakovlev
(Newcastle University, UK)
Publisher's Version Article Search
Constraints as Polymorphic Connectors
Marcel Weiher and Robert Hirschfeld
(HPI, Germany; Microsoft, Germany; SAP Labs, USA; Viewpoints Research Institute, USA)
Publisher's Version Article Search

proc time: 0.29