The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …

Build systems are used in all but the smallest software projects to invoke the right build tools
on the right files in the right order. A build system must be sound (after a build, generated …

Java has no module system. Its packages only subdivide the class name space, allowing
only a very limited form of component-level information hiding and reuse. Two Java …

Programs of a software product line can be synthesized by composing features which
implement a unit of program functionality. In most product lines, only some combination of …

Delta-oriented programming is a compositional approach to flexibly implementing software
product lines. A product line is represented by a code base and a product line declaration …

Delta-oriented programming is a compositional approach to flexibly implementing software
product lines. A product line is represented by a code base and a product line declaration …

Type rules associate types to expressions given a ty** context. As the type checker
traverses the expression tree top-down, it extends the ty** context with additional context …

The operation of expansion on ty**s was introduced at the end of the 1970s by Coppo,
Dezani, and Venneri for reasoning about the possible ty**s of a term when using …

In many domains, classes have highly regular internal structure. For example, so-called
business objects often contain boilerplate code for map** database fields to class …

One of the problems facing developers is the constant evolution of components that are
used to build applications. This evolution is typical of any multi-person or multi-site software …