COMMENTS ON A PROPOSED SEMANTICS FOR BASIC MESSAGE SEQUENCE CHARTS - REPLY

被引：0
|
作者：
MAUW, S
RENIERS, MA
机构：
来源：
COMPUTER JOURNAL | 1994年 / 37卷 / 09期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：815 / 817
页数：3
相关论文
共 50 条
  • [31] An interactive visualization for message sequence charts
    Eick, SG
    Ward, A
    FOURTH WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1996, : 2 - 8
  • [32] Distributed implementation of message sequence charts
    Rouwaida Abdallah
    Loïc Hélouët
    Claude Jard
    Software & Systems Modeling, 2015, 14 : 1029 - 1048
  • [33] A framework for pathologies of message sequence charts
    Dan, Haitao
    Hierons, Robert M.
    Counsell, Steve
    INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (11) : 1283 - 1295
  • [34] The essence ef message sequence charts
    Broy, M
    INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 42 - 47
  • [35] Modeling with Stochastic Message Sequence Charts
    Zhou, ZH
    Sheldon, FT
    Potok, TE
    CCCT 2003, VOL 1, PROCEEDINGS: COMPUTING/INFORMATION SYSTEMS AND TECHNOLOGIES, 2003, : 454 - 461
  • [36] Stepwise design with message sequence charts
    Khendek, F
    Bourduas, S
    Vincent, D
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 19 - 34
  • [37] Distributed implementation of message sequence charts
    Abdallah, Rouwaida
    Helouet, Loic
    Jard, Claude
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 1029 - 1048
  • [38] Matching specifications for message sequence charts
    Muscholl, A
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 273 - 287
  • [39] A hierarchy of communication models for Message Sequence Charts
    Engels, AG
    Mauw, S
    Reniers, MA
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (03) : 253 - 292
  • [40] TRIM: A tool for triggered message sequence charts
    Sengupta, B
    Cleaveland, R
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 106 - 109
12345