Sciweavers

FIW
1998

A Heuristic Approach to Detect Feature Interactions in Requirements

13 years 5 months ago
A Heuristic Approach to Detect Feature Interactions in Requirements
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift system, incorporating new features to a simple lift, concerning the lift overfull and the executive floor with priority. This method is part of a broader approach to requirements elicitation and formal specification. 1 The General Approach Our work aims at providing methological support for analysts and specfiers of software-based systems. To this end, we have developed an integrated approach to requirements elicitation and formal specification, which is sketched in [HS98]. We do not invent any new languages, but give guidance how to proceed to (i) identify and formally express the requirements concerning the system to be constructed, and (ii) systematically transform these requirements into a formal specification. The difference between requirements and a specification is that requirements refer to the entire ...
Maritta Heisel, Jeanine Souquières
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where FIW
Authors Maritta Heisel, Jeanine Souquières
Comments (0)