GPCE 2012

15 papers

1. A calculus for modeling and implementing variation · Eric Walkingshaw, Martin Erwig
2. A formal foundation for dynamic delta-oriented software product lines · Ferruccio Damiani, Luca Padovani, Ina Schaefer
3. A three-level component model in component based software development · Huaxi (Yulin) Zhang, Lei Zhang, Christelle Urtado, Sylvain Vauttier, Marianne Huchard
4. An inheritance system for structural & behavioral reuse in component-based software programming · Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse
5. Composing typemaps in Twig · Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony
6. Family-based deductive verification of software product lines · Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel
7. Faster program adaptation through reward attribution inference · Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
8. Honu: syntactic extension for algebraic notation through enforestation · Jon Rafkind, Matthew Flatt
9. HotDrink: a library for web user interfaces · John Freeman, Jaakko Järvi, Gabriel Foust
10. Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code · Eyvind W. Axelsen, Stein Krogdahl
11. Pol: specification-driven synthesis of architectural code frameworks for platform-based applications · Hamid Bagheri, Kevin J. Sullivan
12. Pushouts in software architecture design · Taylor L. Riché, Rui C. Gonçalves, Bryan Marker, Don S. Batory
13. Reasoning of feature models from derived features · Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch
14. Synthesizing iterators from abstraction functions · Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson
15. Xbase: implementing domain-specific languages for Java · Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring + 1 more