Formal detection of feature interactions with logic programming and LOTOS

被引：0
|
作者：
Nicolas Gorse
Luigi Logrippo
Jacques Sincennes
机构：
[1] Université de Montréal,Dépt. d'informatique et recherche opérationnelle
[2] Université du Québec en Outaouais,Dépt. d'informatique et ingénierie
[3] University of Ottawa,School of information technology and engineering
来源：
Software & Systems Modeling | 2006年 / 5卷 / 2期
关键词：
D O I：
10.1007/s10270-005-0104-3
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：135 / 135
相关论文
共 50 条
  • [1] A formal approach for definition and detection of feature interactions
    Yoneda, T
    Ohta, T
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS V, 1998, : 202 - 216
  • [2] SOME FORMAL SYSTEMS OF THE LOGIC PROGRAMMING
    MINTS, GE
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 318 - 322
  • [3] Formal verification of a programming logic for a distributed programming language
    Zhang, C
    Olsson, RA
    Levitt, KN
    THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 213 - 235
  • [4] Feature interaction detection: a LOTOS-based approach
    Fu, Q
    Harnois, P
    Logrippo, L
    Sincennes, J
    COMPUTER NETWORKS, 2000, 32 (04) : 433 - 448
  • [5] A PROGRAMMING LOGIC FOR FORMAL CONCURRENT SYSTEMS
    GRIBOMONT, EP
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 298 - 313
  • [6] APPLICATION OF FORMAL LOGIC TO PROGRAMS AND PROGRAMMING
    ALLEN, CD
    IBM SYSTEMS JOURNAL, 1971, 10 (01) : 2 - &
  • [7] SEVERAL FORMAL SYSTEMS OF THE LOGIC PROGRAMMING
    MINTS, GE
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1990, 9 (01): : 19 - 41
  • [8] A formal verification of feature interactions
    Leneutre, J
    Tingaud, R
    ALCATEL TELECOMMUNICATIONS REVIEW, 1999, (01): : 16 - 18
  • [9] A Formal Definition of Time in LOTOS
    Léonard, Luc
    Leduc, Guy
    Formal Aspects of Computing, 1998, 10 (03): : 248 - 266
  • [10] ELEMENTARY FORMAL SYSTEM AS A LOGIC PROGRAMMING LANGUAGE
    YAMAMOTO, A
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 73 - 86
12345