Detecting Feature Interaction - A Heuristic Approach
Résumé
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. This method part is part of a broader approach to requirements elicitation and formal specification.