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 条
  • [41] SPEC-CHECK - A BASIC PROGRAM FOR CHECKING THE INTERNAL CONSISTENCY OF COMPOSITE-MATERIALS SPECIFICATIONS
    DARFLER, SC
    BUYNY, RA
    [J]. TOMORROWS MATERIALS : TODAY, BOOK 1 AND 2: 34TH INTERNATIONAL SAMPE SYMPOSIUM AND EXHIBITION, 1989, 34 : 667 - 677
  • [42] Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications
    Goettmann, Hendrik
    Bacher, Isabelle
    Gottwald, Nicolas
    Lochau, Malte
    [J]. PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
  • [43] Consistency of XML specifications
    Arenas, M
    Fan, WF
    Libkin, L
    [J]. INCONSISTENCY TOLERANCE, 2004, 3300 : 15 - 41
  • [44] Automating the process of test derivation from SDL specifications
    VonBochmann, G
    Petrenko, A
    Bellal, O
    Maguiraga, S
    [J]. SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 261 - 276
  • [45] New results on deriving SDL specifications from MSCs
    Abdalla, MM
    Khendek, F
    Butler, G
    [J]. SDL'99: THE NEXT MILLENNIUM, 1999, : 51 - 66
  • [46] DESIGN AND ANALYSIS OF FORMAL SPECIFICATIONS WITH THE SDL-MACHINE
    AHRENS, K
    FISCHER, J
    HOLZ, E
    SCHIEFERDECKER, I
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 327 - 342
  • [47] MSCAN -: A tool for analyzing MSC specifications
    Bollig, Benedikt
    Kern, Carsten
    Schluetter, Markus
    Stolz, Volker
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 455 - 458
  • [48] AGES: Automatic generation of EFSMs from SDL specifications
    Wong, WE
    Ma, X
    Zhuo, D
    Cooper, K
    [J]. Tenth ISSAT International Conference on Reliability and Quality in Design, Proceedings, 2004, : 137 - 141
  • [49] A scalable hardware library for the rapid prototyping of SDL specifications
    Dörfel, M
    Slomka, F
    Hofmann, R
    [J]. TENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS, 1999, : 120 - 125
  • [50] Automated derivation of ILP implementations from SDL specifications
    Twarok, S
    Langendoerfer, P
    Koenig, H
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 3 - 18
12345