X hits on this document

180 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 views180
Page views180
Page last viewedSat Jan 21 20:21:22 UTC 2017
Pages40
Paragraphs512
Words11014

Comments