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, Lund, Sweden, 29 September - 1 October 1998, pp. 10-31. ISBN 9051994311

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, Professor 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
• ISBN: 9051994311
• 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