Research Papers
Feature
Interaction: A Critical Review and Considered Forecast. By
M. Calder, E.
Magill, M. Kolberg, and S. Reiff-Marganiec. Submitted to ComNet,
2001.
Using
SPIN for Feature Interaction: Analysis -- a Case
Study. By
M. Calder, A. Miller.
Proceedings of the 8th International SPIN Workshop (SPIN 2001), Toronto, Canada,
Lecture Notes in Computer
Science, Volume 2057, pp. 143--162, 2001.
A Hybrid
Approach to Software Interworking Problems: Managing Interactions between
Legacy and Evolving Telecommunications Services. By M. Calder, E. Magill
and D. Marples. IEE Proceedings - Software , 146(3) April 19999, pages 167-180
Abstract only, please contact the authors for a hard copy.
Modelling
Legacy Telecommunications Switching Systems for Interaction Analysis.
By M. Calder and S. Reiff. Systems Engineering for Business Process Change,
P. Henderson (ed.), Springer Verlag, 2000, pages 182-195.
Identifying Resolution Choices for an Online Feature Manager.
By S. Reiff. In Feature Interactions in
Telecommunications and Software Systems, M. Calder and E. Magill (eds.),
IOS Press Amsterdam, 2000, pages 113-128.
Theory and Practice of Enhancing a Legacy Software System.
By M. Calder, E. Magill, S. Reiff-Marganiec and V. Thayananthan. To
appear in Systems Engineering for Business Process Change 2,
P.
Henderson (ed.), Springer Verlag, 2001.
The Application of Model-Checking to Verification Problems in Telephone
Switching Systems. By S. Reiff and M. Calder. P
roceedings of the 6th Workshop on Automated Reasoning - Bridging the gap
between theory and practice. 6th - 9th April 99, Edinburgh (UK).
Additionally, see individual researchers' web pages.