Download Now Free registration required
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combinations of features are meaningful; feature models express the high-level domain constraints that govern feature compatibility. Product line developers also face the problem of safe composition - whether every product allowed by a feature model is type-safe when compiled and run. To study the problem of safe composition, the authors present Lightweight Feature Java (LFJ), an extension of Lightweight Java with support for features.
- Format: PDF
- Size: 226.4 KB