X hits on this document

140 views

0 shares

0 downloads

0 comments

32 / 40

Core Operational Semantics of Proto ............................................................................................................1330 Mirko Viroli, Universita di Bologna, Italy Jacob Beal, BBN Technologies, United States Matteo Cascadei, Universita di Bologna, Italy

A Domain-Specific Language for Managing Feature Models .....................................................................1338 Mathieu Acher, University of Nice Sophia Antipolis, France Philippe Collet, University of Nice Sophia Antipolis, France Philippe Lahire, University of Nice Sophia Antipolis, France Robert France, Colorado State University, United States

Poster Papers

Feedback-driven Points-to Analysis...............................................................................................................1346 Tobias Gutzmann, Linnaeus University, Sweden Jonas Lundberg, Linnaeus University, Sweden Welf Löwe, Linnaeus University, Sweden

An Overview of a Proof-Based Approach to Detecting C Vulnerabilities..................................................1348 Amel Mammar, Telecom SudParis, France

Programming for Separation of Concerns Track

Track Co-Chairs:

Emiliano Tramontana, University of Catania, Italy Corrado Santoro, University of Catania, Italy Yvonne Coady, University of Victoria, Canada

Change-based FODA Diagrams: Bridging the Gap Between Feature-oriented Design and Implementation ................................................................................................................................................1350 Peter Ebraert, Universiteit Antwerpen, Belgium Quinten David Soetens, Universiteit Antwerpen, Belgium Dirk Janssens, Universiteit Antwerpen, Belgium

Distributed Dynamic Weaving is a Crosscutting Concern ..........................................................................1358 Michihiro Horie, Tokyo Institute of Technology, Japan Satoshi Morita, Tokyo Institute of Technology, Japan Shigeru Chiba, Tokyo Institute of Technology, Japan

Poster Papers

Structuring Adaptive Replicated Systems with Design Patterns and Aspects...........................................1366 Rodrigo Ramos Couto, Ci&T, Brazil Rodrigo Pereira Valentim, IBM Global Business Services, Brazil Udo Fritzke Jr., PUC Minas, Brazil Luiz Alberto Ferreira Gomes, PUC Minas, Brazil Daniel Merli Moraes, PUC Minas, Brazil

Document info
Document views140
Page views140
Page last viewedFri Dec 09 06:04:30 UTC 2016
Pages40
Paragraphs512
Words11014

Comments