Parallel Computing in Electrical Engineering, 2004. International Conference on (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," Parallel Computing in Electrical Engineering, 2004. International Conference on(PARELEC), Warsaw, Poland, 2002, pp. 99.