Checking consistency of SDL+MSC specifications

被引：0
|
作者：
D'Souza, Deepak [1 ]
Mukund, Madhavan [1 ]
机构：
[1] Chennai Mathematical Institute, 92 G N Chetty Road, Chennai 600 017, India
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003年 / 2648卷
关键词：
D O I：
10.1007/3-540-44829-2_10
中图分类号：
学科分类号：
摘要：
Temporal logic
引用
收藏
页码：151 / 165
相关论文
共 50 条
  • [1] Checking consistency of SDL plus MSC specifications
    D'Souza, D
    Mukund, M
    MODEL CHECKING SOFTWARE, 2003, 2648 : 151 - 165
  • [2] Checking MSC specifications for timing inconsistency
    Li, XD
    Tan, WK
    Zheng, GL
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (01) : 47 - 55
  • [3] Checking MSC specifications for timing inconsistency
    Xuandong Li
    Wenkai Tan
    Guoliang Zheng
    Journal of Computer Science and Technology, 2002, 17 : 47 - 55
  • [4] Consistency Checking for LSC Specifications
    Guo, Hai-Feng
    Zheng, Wen
    Subramaniam, Mahadevan
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 119 - 126
  • [5] Static consistency checking for distributed specifications
    Nentwich, C
    Emmerich, W
    Finkelstein, A
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 115 - 124
  • [6] CONSISTENCY CHECKING OF AUTOMATA FUNCTIONAL SPECIFICATIONS
    CHEBOTAREV, AN
    MOROKHOVETS, MK
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 76 - 85
  • [7] Time consistency of MSC-2000 specifications
    Zheng, T
    Khendek, F
    COMPUTER NETWORKS, 2003, 42 (03) : 303 - 322
  • [8] Formal Consistency Checking over Specifications in Natural Languages
    Yan, Rongjie
    Cheng, Chih-Hong
    Chai, Yesheng
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1677 - 1682
  • [9] SDL and MSC - Preface
    Haugen, O
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 28 (12): : 1581 - 1583
  • [10] Model-driven consistency checking of behavioural specifications
    Graaf, Bas
    van Deursen, Arie
    FOURTH INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2007, : 115 - +
12345