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 条
  • [31] Special feature on natural language understanding and logic programming
    Matsumoto, Y
    NEW GENERATION COMPUTING, 1996, 14 (02) : 109 - 110
  • [32] From extended feature models to constraint logic programming
    Karatas, Ahmet Serkan
    Oguztuzun, Halit
    Dogru, Ali
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (12) : 2295 - 2312
  • [33] Formal Automated Transformation of SDL Specifications to Lotos Specifications
    El-Gendy, Hazem
    El Kadhi, Nabil
    Debnath, Narayan
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
  • [34] Formal automated transformation of lotos specifications to SDL specifications
    El-Gendy, H
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241
  • [35] Comparing logic programming and formal argumentation; the case of ideal and eager semantics
    Caminada, Martin
    Harikrishnan, Sri
    Sa, Samy
    ARGUMENT & COMPUTATION, 2022, 13 (01) : 93 - 120
  • [36] ON THE FORMAL SPECIFICATION AND VERIFICATION OF CIM ARCHITECTURES USING LOTOS
    BIEMANS, F
    BLONK, P
    COMPUTERS IN INDUSTRY, 1986, 7 (06) : 491 - 504
  • [37] ON SPECIFYING PROTOCOLS BASED ON LOTOS AND TEMPORAL LOGIC
    ANDO, T
    KATO, Y
    TAKAHASHI, K
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1994, E77B (08) : 992 - 1006
  • [38] Detection of feature interactions with REST
    Dssouli, R
    Some, S
    Guillery, JW
    Rico, N
    FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 271 - 283
  • [39] Conformance Checking with Constraint Logic Programming: The Case of Feature Models
    Mazo, Raul
    Lopez-Herrejon, Roberto E.
    Salinesi, Camille
    Diaz, Daniel
    Egyed, Alexander
    2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 456 - 465
  • [40] FORMAL CONVERSION BETWEEN LOTOS SPECIFICATION AND GALILEO NETS
    LEON, G
    MARCHENA, S
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 483 - 490
12345