The Community for Technology Leaders
Parallel Computing in Electrical Engineering, 2004. International Conference on (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
Sergey Krivoi, "An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems", Parallel Computing in Electrical Engineering, 2004. International Conference on, vol. 00, no. , pp. 99, 2002, doi:10.1109/PCEE.2002.1115212
91 ms
(Ver 3.3 (11022016))