This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Feature Interactions and Formal Specifications in Telecommunications
August 1993 (vol. 26 no. 8)
pp. 20-29
ASCII Text
x 
 
Pamela Zave, "Feature Interactions and Formal Specifications in Telecommunications," Computer, vol. 26, no. 8, pp. 20-29, August, 1993.
 
 
BibTex
x
 
@article{ 10.1109/2.223539,
author = {Pamela Zave},
title = {Feature Interactions and Formal Specifications in Telecommunications},
journal ={Computer},
volume = {26},
number = {8},
issn = {0018-9162},
year = {1993},
pages = {20-29},
doi = {http://doi.ieeecomputersociety.org/10.1109/2.223539},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - Feature Interactions and Formal Specifications in Telecommunications
IS - 8
SN - 0018-9162
SP20
EP29
EPD - 20-29
A1 - Pamela Zave,
PY - 1993
VL - 26
JA - Computer
ER -
 

The feature-interaction problem found in complex software systems that support telecommunications is reviewed. The relationship between feature interactions and formal specifications is examined. Several important ways telecommunications has evolved beyond plain old telephone service (POTS) are described. It is shown how many feature interactions can be eliminated by applying known techniques of formal specification. A glossary that explains telecommunications terms not defined in the text and acronyms used throughout the article is included.

Citation:
Pamela Zave, "Feature Interactions and Formal Specifications in Telecommunications," Computer, vol. 26, no. 8, pp. 20-29, Aug. 1993, doi:10.1109/2.223539
Usage of this product signifies your acceptance of the Terms of Use.