Software Composition

1. Front Matter

   PDF

2. Language Design for Meta-programming in the Software Composition Domain

   • Paul Klint, Jurgen Vinju, Tijs van der Storm

   Pages 1-4

3. Putting Traits in Perspective

   • Stéphane Ducasse

   Pages 5-8

4. Feature (De)composition in Functional Programming

   • Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer

   Pages 9-26

5. I-Java: An Extension of Java with Incomplete Objects and Object Composition

   • Lorenzo Bettini, Viviana Bono, Erica Turin

   Pages 27-44

6. Language-Independent Quantification and Weaving for Feature Composition

   • Stefan Boxleitner, Sven Apel, Christian Kästner

   Pages 45-54

7. Lazy Composition of Representations in Java

   • Rémi Douence, Xavier Lorca, Nicolas Loriant

   Pages 55-71

8. Specifying and Composing Non-functional Requirements in Model-Based Development

   • Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte

   Pages 72-89

9. Round-Trip Support for Invasive Software Composition Systems

   • Jendrik Johannes, Roland Samlaus, Mirko Seifert

   Pages 90-106

10. Implicit First Class Genericity

    • Jaroslaw D. M. Kuśmierek

    Pages 107-124

11. A Framework for Testing Model Composition Engines

    • Freddy Munoz, Benoit Baudry

    Pages 125-141

12. Composing RESTful Services with JOpera

    • Cesare Pautasso

    Pages 142-159

13. Writing Composable Software with InterpreterLib

    • Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander

    Pages 160-176

14. Back Matter

    PDF

This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference. The 10 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 34 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect- and service-oriented programming, specification of component contracts and protocols, methods of correct components composition, as well as verification, validation and testing techniques - even in pervasive computing environments and for the Web.

• Java
• adaptive components
• aspect-oriented systems
• class reuse
• class-based languages
• component composition
• component modeling
• component-based systems
• design
• dynamic languages
• functional programming
• programming
• testing
• validation
• verification

• Computer Science Department (DCC), Universidad De Chile, Santiago, Chile

  Alexandre Bergel

• PLEIAD Laboratroy, Computer Science Department (DCC), Universidad De Chile, Santiago, Chile

  Johan Fabry

Policies and ethics