The state of the art of the field of feature interactions in telecommunications services is
reviewed, concentrating on three major research trends: software engineering approaches …

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 …

Product-line technology is increasingly used in mission-critical and safety-critical
applications. Hence, researchers are develo** verification approaches that follow different …

A Promela specification and a set of temporal properties are developed for a basic call
service with a number of features. The properties are expressed in the logic LTL. Interactions …

We show how SPIN is applied to analyse the behaviour of a real software artifact—feature
interaction in telecommunications services. We demonstrate how minimal abstraction …

A configurable system enables users to derive individual system variants based on a
selection of configuration options. To cope with the often huge number of possible …

Features are a structuring mechanism for additional functionality, usually in response to
changing requirements. When several features are invoked at the same time, by the same …

We report on a property-based approach to feature interaction analysis for a client-server
email system. The model is based upon Hall's email model presented at FIW'00, but the …

The feature interaction problem has been recognized as a general problem of software
engineering. The problem appears when a combination of features interacts generating a …

Abstract Feature Interaction. When engineers design a system with features, they wish to
have methods to prove that the features do not interact in ways which are undesirable. A …