A TOP-DOWN STEP-WISE REFINEMENT METHODOLOGY FOR PROTOCOL SPECIFICATION

被引：0
|
作者：
LI, DH
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 335卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：197 / 221
页数：25
相关论文
共 50 条
  • [1] Scaling step-wise refinement
    Department of Computer Science, University of Texas at Austin, Austin, TX 78712, United States
    不详
    IEEE Trans Software Eng, 1600, 6 (355-371):
  • [2] Scaling step-wise refinement
    Batory, D
    Sarvela, JN
    Rauschmayer, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (06) : 355 - 371
  • [3] Scaling step-wise refinement
    Batory, D
    Sarvela, JN
    Rauschmayer, A
    25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 187 - 197
  • [4] A STEP-WISE PROTOCOL FOR CDNA SYNTHESIS
    POLITES, HG
    MAROTTI, KR
    BIOTECHNIQUES, 1986, 4 (06) : 514 - 520
  • [5] Step-wise refinement design example using LOTOS
    Pires, L. Ferreira
    de Souza, W. Lopes
    Proceedings of the IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, 1991,
  • [6] SPECIFICATION AND TOP-DOWN DESIGN OF DISTRIBUTED SYSTEMS
    BROY, M
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) : 236 - 265
  • [7] Design for testability: a step-wise approach to protocol testing
    Konig, H
    Ulrich, A
    Heiner, M
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 125 - 140
  • [8] A top-down methodology for microprocessor validation
    Mishra, P
    Dutt, N
    Krishnamurthy, N
    Abadir, MS
    IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (02): : 122 - 131
  • [9] The Top-Down Approach: An Expanded Methodology
    Herz, Daniel B.
    JOURNAL OF UROLOGY, 2010, 183 (03): : 856 - 857
  • [10] Step-wise specification of retinal stem cells during normal embryogenesis
    Zaghloul, NA
    Yan, B
    Moody, SA
    BIOLOGY OF THE CELL, 2005, 97 (05) : 321 - 337
12345