Volume 1, Issue 1, January 2011 - DROPS - Schloss Dagstuhl

More documents

Recommendations

Info

30 11021 – Feature-Oriented Software Development (FOSD) 2 Table of Contents Executive Summary Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar M. Nierstrasz . . . . . . . 27 Overview of Talks Feature-Aware Verification Sven Apel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 Feature Interactions: the Good, the Bad, and the Ugly Joanne Atlee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 Clafer Demo Kacper Bąk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 FOSD—A Science of Software Design: A Personal and Historical Perspective Don Batory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Model checking feature-based specifications with SNIP Andreas Classen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Context-oriented Programming: First-class layers at runtime Pascal Costanza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 Choice Calculus Mini Tutorial Martin Erwig . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 Re-Thinking Product Line Verification as a Constraints Problem Kathi Fisler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Type Checking entire Product Lines Christian Kästner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Modularity vs. Virtual Separation of Concerns in Feature-Oriented Implementations Christian Kästner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 A Survey of Product Family Algebra Bernhard Möller . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 Testing Software Product Lines Sebastian Oster . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 Event-B and Rodin Overview Michael Poppleton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 FOSD Adoption in Industry (Plenary Session Summary) Rick Rabiser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 Feature-Oriented Requirements Engineering—An Integrated Modeling, Aspect and Decision Based Approach Reinhard Stoiber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 Working Groups Variability Representation (Breakout Session Summary) Kacper Bąk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Sven Apel, William Cook, Krzysztof Czarnecki, and Oscar Nierstrasz 31 Non-functional versus Function Properties in Feature-oriented Product Line Generation (Breakout Session Summary) Charles Krueger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Feature Location (Breakout Session Summary) Christian Kästner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Participants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 1 1 0 2 1
Page 1 and 2: Volume 1, Issue 1, January 2011 Mul
Page 3 and 4: Report from Dagstuhl Seminar 11011
Page 5 and 6: Hans J. Boehm, Ursula Goltz, Holger
Page 29 and 30: Report from Dagstuhl Seminar 11021
Page 31: Sven Apel, William Cook, Krzysztof
Page 35 and 36: Sven Apel, William Cook, Krzysztof
Page 45 and 46: Zhenjiang Hu, Andy Schürr, Perdita
Page 71 and 72: Meinard Müller, Masataka Goto, and
Page 83 and 84:
Meinard Müller, Masataka Goto, and
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Gabi Dreo Rodosek, Aiko Pras, Henni
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Stephan Dahlke, Michael Elad, Yonin
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Page 129:
show all

Volume 1, Issue 1, January 2011 - DROPS - Schloss Dagstuhl

Create successful ePaper yourself

Delete template?

Save as template?