Feature models are used to specify members of a product-line. Despite years of progress,
contemporary tools often provide limited support for feature constraints and offer little or no …

Step-wise refinement is a powerful paradigm for develo** a complex program from a
simple program by adding features incrementally. We present the AHEAD (algebraic …

Feature oriented programming (FOP) is the study of feature mod ularity and its use in
program synthesis. AHEAD is a theory of FOP that is based on a fundamental concept of …

The paper describes a model-integrated approach for embedded software development that
is based on domain-specific, multiple-view models used in all phases of the development …

A" refinement" is a functionality addition to a software project that can affect multiple
dispersed implementation entities (functions, classes, etc.). In this paper, we examine large …

A configurable process model provides a consolidated view of a family of business
processes. It promotes the reuse of proven practices by providing analysts with a generic …

Software product line engineering is an efficient means of generating a family of program
variants for a domain from a single code base. However, because of the potentially high …

We propose a standard problem to evaluate product-line methodologies. It relies on
common knowledge from Computer Science, so that domainknowledge can be easily …

Mixin layers are a technique for implementing layered object-oriented designs (eg,
collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) …

In traditional file system implementations, the Least Recently Used (LRU) block replacement
scheme is widely used to manage the buffer cache due to its simplicity and adaptability …