Reference/Literaturverweis [Bre00a]

Bredereke, J.:
Families of Formal Requirements in Telephone Switching.
In: Calder, M. and Magill, E. (eds.), "Feature Interactions in Telecommunication Networks VI", pp. 257-273, Amsterdam (May 2000). IOS Press.
(Proceedings of 6th Int'l Feature Interaction Workshop'00.)

Abstract / Zusammenfassung

We introduce to the idea of families of requirements documents. Requirements families are sets of requirements whose common properties are so extensive that it is advantageous to study the common properties in the requirements before analysing individual members. We present how we can apply this idea with a formal description technique, how our approach helps to avoid feature interaction problems in telephone switching, and how it supports the detection of remaining problems.

Keywords

Full Text

Slides / Folien