The Use of Semi-Formal Methods for Detecting Requirements Interactions

M. Shehata (Canada), A. Eberlein (UAE), and A. Fapojuwo (Canada)


Software requirements, reqinteraction, requirements attributes, semi-formal methods


Requirements interactions are a big challenge in any software development methodology. This paper describes a three-level framework that can be customized for any domain and used to detect requirements interactions at different levels of cost and complexity. A definition of the different possible scenarios in which interactions between requirements will occur is presented with the goal of creating a general requirements interaction taxonomy. The paper then focuses on the semi-formal appraoch contained in level 2 of the framework and applies it to eight telecommunication features presented in the second feature interaction contest held in 2000. Finally, the results obtained are compared with those reported in literature.

Important Links:

Go Back