kirancodes.me
To Proof Maintenance & Beyond!
ASE 2003

Detecting Requirements Interactions: A Three-Level Framework

Mohamed Shehata, Armin Eberlein

DOI 10.1109/ase.2003.1240336dblp

Abstract

This paper deals with the problem of requirements interaction. We introduce a three level framework to detect requirements interactions at different levels of cost, time, and complexity. Level 2 where we use semiformal methods to detect interactions contains the main contribution of the research. Also we combine existing approaches (e.g. informal and formal) with our semiformal approach to provide a comprehensive framework for developers to use. The approach is illustrated using two case studies, one from the telecommunications domain and the other one being a lift control system. The results obtained are very encouraging with regards to the time and effort spent on requirements interaction detection.

BibTeX
@inproceedings{Shehata-Eberlein:ASE03,
  author    = {Mohamed Shehata and
               Armin Eberlein},
  title     = {Detecting Requirements Interactions: A {Three-Level} Framework},
  booktitle = {ASE},
  pages     = {352--355},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
}

Related papers