SOME TOPICS IN THE DESIGN OF THE SPECIFICATION LANGUAGE LOTOS

被引：0
|
作者：
CARCHIOLO, V
FARO, A
MINISSALE, F
SCOLLO, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 167卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：47 / 58
页数：12
相关论文
共 50 条
  • [1] INTRODUCTION TO THE ISO SPECIFICATION LANGUAGE LOTOS
    BOLOGNESI, T
    BRINKSMA, E
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 25 - 59
  • [2] AN INTERPRETER FOR LOTOS, A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    LOGRIPPO, L
    OBAID, A
    BRIAND, JP
    FEHRI, MC
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (04): : 365 - 385
  • [3] Behavioral specification of GOF design patterns with LOTOS
    Saeki, M
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 408 - 415
  • [4] Interpretation of SDL specification in LOTOS
    Ando, Tsuyoshi
    Ohta, Masataka
    Takahashi, Kaoru
    1600, Scripta Technica Inc, New York, NY, United States (25):
  • [5] A LOTOS framework for middleware specification
    Rosa, Nelson Souto
    Cunha, Paulo Roberto Freire
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006, 2006, 4229 : 136 - 142
  • [6] INTERPRETATION OF SDL SPECIFICATION IN LOTOS
    ANDO, T
    OHTA, M
    TAKAHASHI, K
    SYSTEMS AND COMPUTERS IN JAPAN, 1994, 25 (07) : 19 - 38
  • [7] XTP specification and validation with LOTOS
    Benslimane, A
    Abouaissa, A
    PROCEEDINGS OF THE COMMUNICATION NETWORKS AND DISTRIBUTED SYSTEMS MODELING AND SIMULATION (CNDS'98), 1998, : 121 - 126
  • [8] A LOTOS SPECIFICATION OF THE PROWAY HIGHWAY SERVICE
    CARCHIOLO, V
    FARO, A
    MIRABELLA, O
    PAPPALARDO, G
    SCOLLO, G
    IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (11) : 949 - 968
  • [9] THE SPECIFICATION OF A GENERIC MULTICOMPUTER USING LOTOS
    GALLUD, JA
    GARCIA, JM
    SIGPLAN NOTICES, 1995, 30 (02): : 21 - 24
  • [10] SPECIFICATION OF A DISTRIBUTED COORDINATION FUNCTION IN LOTOS
    WIDYA, I
    SADOUN, F
    VANDERHEIJDEN, GJ
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 133 - 148
12345