Trends in formal description techniques

被引：0
|
作者：
Gotzhein, R [1 ]
Bredereke, J [1 ]
机构：
[1] Univ Kaiserslautern, Fachbereich Informat, D-67653 Kaiserslautern, Germany
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1998年 / 30卷 / 9-10期
关键词：
D O I：
10.1016/S0169-7552(97)00131-1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
下载
收藏
页码：863 / 864
页数：2
相关论文
共 50 条
  • [1] FORMAL DESCRIPTION TECHNIQUES
    VISSERS, CA
    TENNEY, RL
    VONBOCHMANN, G
    PROCEEDINGS OF THE IEEE, 1983, 71 (12) : 1356 - 1364
  • [2] Integrating formal description techniques
    Schätz, B
    Huber, F
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1206 - 1225
  • [3] Method integration with formal description techniques
    Saeeiab, Sureerat
    Saeki, Motoshi
    IEICE Transactions on Information and Systems, 2000, E83-D (04) : 616 - 626
  • [4] THE CHALLENGES FACING FORMAL DESCRIPTION TECHNIQUES
    WEST, CH
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 105 - 121
  • [5] Method integration with formal description techniques
    Saeeiab, S
    Saeki, M
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (04): : 616 - 626
  • [6] DESIGN OF PROTOCOLS - SPECIFICATION AND FORMAL DESCRIPTION TECHNIQUES
    MESTRAS, JP
    PEREDA, O
    TOMAS, JG
    REVISTA DE INFORMATICA Y AUTOMATICA, 1988, 21 (01): : 28 - 37
  • [7] STRATEGIC TESTING ENVIRONMENT WITH FORMAL DESCRIPTION TECHNIQUES
    KATSUYAMA, K
    SATO, F
    NAKAKAWAJI, T
    MIZUNO, T
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 514 - 525
  • [8] FORMAL DESCRIPTION TECHNIQUES .4. PREFACE
    PARKER, K
    ROSE, G
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : R5 - R5
  • [9] FORMAL DESCRIPTION TECHNIQUES AND AUTOMATED PROTOCOL SYNTHESIS
    CARCHIOLO, V
    FARO, A
    GIORDANO, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (08) : 513 - 521
  • [10] Applying formal description techniques to software architectural design
    Li, JJ
    Horgan, JR
    COMPUTER COMMUNICATIONS, 2000, 23 (12) : 1169 - 1178
12345