loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Parallel Computing in Electrical Engineering (PARELEC'02)
An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems
Warsaw, Poland
September 22-September 25
ISBN: 0-7695-1730-7
ASCII Text
x 
 
Sergey Krivoi, "An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems," Parallel Computing in Electrical Engineering, International Conference on, pp. 99, International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/PCEE.2002.1115212,
author = {Sergey Krivoi},
title = {An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems},
journal ={Parallel Computing in Electrical Engineering, International Conference on},
volume = {0},
year = {2002},
isbn = {0-7695-1730-7},
pages = {99},
doi = {http://doi.ieeecomputersociety.org/10.1109/PCEE.2002.1115212},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel Computing in Electrical Engineering, International Conference on
TI - An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems
SN - 0-7695-1730-7
SP
EP
A1 - Sergey Krivoi,
PY - 2002
KW - null
VL - 0
JA - Parallel Computing in Electrical Engineering, International Conference on
ER -
 
Sergey Krivoi, Technical University of Czestochowa
Our aim is presentation of an algebraic approach for the methodological support of system development with formal verification of designed systems. In this paper a problem of Feature Interaction (FI) in telecommunication systems (and other software systems) and a formal framework for its managing are considered. Within this framework, a telephone system is described from two views, one for its mathematical models and another for its features as sentences in the formal languages corresponding to such models.
Citation:
Sergey Krivoi, "An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems," parelec, pp.99, International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.