International Conference on Parallel Computing in Electrical Engineering (PARELEC'02) (2002)
Sept. 22, 2002 to Sept. 25, 2002
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.
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.