The Community for Technology Leaders
International Conference on Parallel Computing in Electrical Engineering (PARELEC'02) (2002)
Warsaw, Poland
Sept. 22, 2002 to Sept. 25, 2002
ISBN: 0-7695-1730-7
pp: 99
Sergey Krivoi , Technical University of Czestochowa
ABSTRACT
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.
INDEX TERMS
null
CITATION

S. Krivoi, "An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems," International Conference on Parallel Computing in Electrical Engineering (PARELEC'02)(PARELEC), Warsaw, Poland, 2002, pp. 99.
doi:10.1109/PCEE.2002.1115212
92 ms
(Ver 3.3 (11022016))