Prof. Dr. Jan Bredereke

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.


Software requirements; software maintenance; feature interaction problems; telephone switching; formal description techniques; CSP-OZ

Full Text

Postscript/gzip (165kB)

Slides / Folien

Postscript/gzip (70kB)