Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

What use are formal design and analysis methods to telecommunications services?

Calder, M. (1998) What use are formal design and analysis methods to telecommunications services? In: International Workshop on Feature Interactions in Telecommunications and Software Systems, 29 September - 1 October 1998, Lund, Sweden.

[img]
Preview
Text
what_use.pdf

201Kb

Publisher's URL: http://www.dcs.gla.ac.uk/publications/paperdetails.cfm?id=5229

Abstract

Have formal methods failed, or will they fail, to help us solve problems of detecting and resolving of feature interactions in telecommunications software? This paper contains SWOT(Strengths, Weaknesses, Opportunities and Threats) analysis of the use of formula design and analysis methods in feature interaction analysis and makes some suggestions for future research.

Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Calder, Prof Muffy
Authors: Calder, M.
Subjects:Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Feature Interactions in Telecommunications and Software Systems
Publisher:IOS Press
Copyright Holders:Copyright © 1998 IOS Press
First Published:First published in Feature Interactions in Telecommunications and Software Systems (5):10-31
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record

Downloads per month over past year

View more statistics