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 条
  • [41] A formal description technology: Graphical E-LOTOS
    Li, W
    Ye, XM
    Liu, ZY
    FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 389 - 400
  • [42] Outlier detection using disjunctive logic programming
    Angiulli, F
    Ben-Eliyahu-Zohary, R
    Palopoli, L
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 416 - 419
  • [43] Outlier Detection using Inductive Logic Programming
    Angiulli, Fabrizio
    Fassetti, Fabio
    2009 9TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, 2009, : 693 - 698
  • [44] Validating architectural feature descriptions using LOTOS
    Turner, KJ
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS V, 1998, : 247 - 261
  • [45] Feature interactions detection technique based on feature assumptions
    Peng, Y
    Khendek, F
    Grogono, P
    Butler, G
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS V, 1998, : 291 - 298
  • [46] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [47] Programming in logic without logic programming
    Kowalski, Robert
    Sadri, Fariba
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
  • [48] Formal method for automated transformation of lotos specifications to estelle specifications
    El-Gendy, H
    El-Kadhi, N
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2005, 15 (05) : 873 - 891
  • [49] Formal specification of a reactive system: An exercise in VHDL, LOTOS and UNITY
    Pierre, L
    EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS, 1996, : 607 - 607
  • [50] Genetic programming for feature detection and image segmentation
    Lect Notes Comput Sci, (110):
12345