Type Safety for Feature-Oriented Product Lines

Free registration required

Executive Summary

A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder's requirement and represents a design decision or configuration option. When added to a program, a feature involves the introduction of new structures, such as classes and methods, and the refinement of existing ones, such as extending methods. A feature-oriented decomposition enables a generator to create an executable program by composing feature code solely on the basis of the feature selection of a user - no other information needed. A key challenge of product line engineering is to guarantee that only well-typed programs are generated.

  • Format: PDF
  • Size: 504.36 KB