Abstract is missing.
- A formal foundation for dynamic delta-oriented software product linesFerruccio Damiani, Luca Padovani, Ina Schaefer. 1-10 [doi]
- Family-based deductive verification of software product linesThomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel. 11-20 [doi]
- Reasoning of feature models from derived featuresUwe Ryssel, Joern Ploennigs, Klaus Kabitzsch. 21-30 [doi]
- Synthesizing iterators from abstraction functionsDerek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson. 31-40 [doi]
- Composing typemaps in TwigGeoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony. 41-49 [doi]
- Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java codeEyvind W. Axelsen, Stein Krogdahl. 50-59 [doi]
- An inheritance system for structural & behavioral reuse in component-based software programmingPetr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse. 60-69 [doi]
- A three-level component model in component based software developmentHuaxi (Yulin) Zhang, Lei Zhang, Christelle Urtado, Sylvain Vauttier, Marianne Huchard. 70-79 [doi]
- HotDrink: a library for web user interfacesJohn Freeman, Jaakko Järvi, Gabriel Foust. 80-83 [doi]
- Pushouts in software architecture designTaylor L. Riché, R. Gonçalves, Bryan Marker, Don S. Batory. 84-92 [doi]
- Pol: specification-driven synthesis of architectural code frameworks for platform-based applicationsHamid Bagheri, Kevin J. Sullivan. 93-102 [doi]
- Faster program adaptation through reward attribution inferenceTim Bauer, Martin Erwig, Alan Fern, Jervis Pinto. 103-111 [doi]
- Xbase: implementing domain-specific languages for JavaSven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring, Michael Hanus. 112-121 [doi]
- Honu: syntactic extension for algebraic notation through enforestationJon Rafkind, Matthew Flatt. 122-131 [doi]
- A calculus for modeling and implementing variationEric Walkingshaw, Martin Erwig. 132-140 [doi]