Abstract is missing.
- Modeling black-box components with probabilistic synthesisBruce Collie, Jackson Woodruff, Michael F. P. O'Boyle. 1-14 [doi]
- Automated variability injection for graphical modelling languagesAntonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara. 15-21 [doi]
- Correctness-by-construction for feature-oriented software product linesTabea Bordis, Tobias Runge, Ina Schaefer. 22-34 [doi]
- Multi-stage programming in the large with staged classesLionel Parreaux, Amir Shaikhha. 35-49 [doi]
- Reorganizing queries with groupingRui Okura, Yukiyoshi Kameyama. 50-62 [doi]
- Manipulating GUI structures declarativelyKnut Anders Stokke, Mikhail Barash, Jaakko Järvi. 63-69 [doi]
- PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience reportBenjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck. 70-83 [doi]
- VarSem: declarative expression and automated inference of variable usage semanticsYin Liu, Eli Tilevich. 84-97 [doi]
- Fluid quotes: metaprogramming across abstraction boundaries with dependent typesShadaj Laddad, Koushik Sen. 98-110 [doi]
- A domain-specific language for filtering in application-level gatewaysHampus Balldin, Christoph Reichenbach. 111-123 [doi]
- eFLINT: a domain-specific language for executable norm specificationsL. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom M. van Engers. 124-136 [doi]