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.
Author(s): Paul Klint, Jurgen Vinju, Tijs van der Storm (auth.), Alexandre Bergel, Johan Fabry (eds.)
Series: Lecture Notes in Computer Science 5634 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 177
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks
Front Matter....Pages -
Language Design for Meta-programming in the Software Composition Domain....Pages 1-4
Putting Traits in Perspective....Pages 5-8
Feature (De)composition in Functional Programming....Pages 9-26
I-Java: An Extension of Java with Incomplete Objects and Object Composition....Pages 27-44
Language-Independent Quantification and Weaving for Feature Composition....Pages 45-54
Lazy Composition of Representations in Java....Pages 55-71
Specifying and Composing Non-functional Requirements in Model-Based Development....Pages 72-89
Round-Trip Support for Invasive Software Composition Systems....Pages 90-106
Implicit First Class Genericity....Pages 107-124
A Framework for Testing Model Composition Engines....Pages 125-141
Composing RESTful Services with JOpera....Pages 142-159
Writing Composable Software with InterpreterLib....Pages 160-176
Back Matter....Pages -
