Formal definitions of feature interactions in telecommunications software

被引：0
|
作者：
Ohta, T [1 ]
Cristian, F
机构：
[1] Soka Univ, Fac Engn, Hachioji, Tokyo 1928577, Japan
[2] Univ Calif San Diego, San Diego, CA 92103 USA
来源：
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | 1998年 / E81A卷 / 04期
关键词：
telecommunication service; feature interaction; formal definition;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Despite the fact that the necessity of FDT (formal description techniques) had been emphasized, many approaches to verifying feature interactions were insufficient. This paper proposes formal definitions for feature interactions which can occur when telecommunication services specified independently are operated in parallel. Seven types of feature interactions are defined formally.
引用
收藏
页码：635 / 638
页数：4
相关论文
共 50 条
  • [41] PRACTICAL CONSEQUENCES OF FORMAL DEFINITIONS OF INHERITANCE
    BARDAVID, T
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 5 (04): : 43 - 49
  • [42] FORMAL DEFINITIONS OF TYPE MINERAL SPECIMENS
    DUNN, PJ
    MANDARINO, JA
    MINERALOGICAL MAGAZINE, 1988, 52 (364) : 129 - 131
  • [43] FORMAL DEFINITIONS OF TYPE MINERAL SPECIMENS
    DUNN, PJ
    MANDARINO, JA
    MINERALOGY AND PETROLOGY, 1988, 38 (01) : 77 - 79
  • [44] Formal Definitions for Design Spaces and Traces
    Bowen, Judy
    Dittmar, Anke
    2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 600 - 605
  • [45] A hierarchy of dynamic software views: from object-interactions to feature-interactions
    Salah, M
    Mancoridis, S
    20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2004, : 72 - 81
  • [46] FORMAL DEFINITIONS OF TYPE MINERAL SPECIMENS
    DUNN, PJ
    MANDARINO, JA
    BULLETIN DE MINERALOGIE, 1988, 111 (01): : 105 - 107
  • [47] Formal Logic Definitions for Interchange Languages
    Horozal, Fulya
    Rabe, Florian
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 171 - 186
  • [48] FORMAL DEFINITIONS OF TYPE MINERAL SPECIMENS
    DUNN, PJ
    MANDARINO, JA
    CANADIAN MINERALOGIST, 1987, 25 : 571 - 572
  • [49] FORMAL DEFINITIONS OF TYPE MINERAL SPECIMENS
    DUNN, PJ
    MANDARINO, JA
    AMERICAN MINERALOGIST, 1987, 72 (11-12) : 1269 - 1270
  • [50] FORMAL DEFINITIONS OF TYPE MINERAL SPECIMENS
    DUNN, PJ
    MANDARINO, JA
    NEUES JAHRBUCH FUR MINERALOGIE-MONATSHEFTE, 1988, (06): : 241 - 243
12345