SPECIFICATION AND TOP-DOWN DESIGN OF DISTRIBUTED SYSTEMS

被引：1
|
作者：
BROY, M
机构：
来源：
JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1987年 / 34卷 / 2-3期
关键词：
D O I：
10.1016/0022-0000(87)90026-2
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：236 / 265
页数：30
相关论文
共 50 条
  • [31] Top-down design method for SOC chips
    Yu, Xiang
    Xiong, Guangze
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2002, 31 (06):
  • [32] TOP-DOWN LAYOUT FOR HIERARCHICAL CUSTOM DESIGN
    UEDA, K
    KITAZAWA, H
    ADACHI, T
    HARADA, I
    IEEE DESIGN & TEST OF COMPUTERS, 1987, 4 (06): : 22 - 29
  • [33] TOP-DOWN DESIGN AND THE ALGEBRA OF COMMUNICATING PROCESSES
    BERGSTRA, JA
    TUCKER, JV
    SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (02) : 171 - 199
  • [34] TOP-DOWN DESIGN WITHIN A FUNCTIONAL ENVIRONMENT
    LEITH, P
    SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (10): : 921 - 930
  • [35] A framework for collaborative top-down assembly design
    Zhang, Shuting
    Chen, Xiang
    Gao, Shuming
    Yang, Youdong
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE 2007, VOL 6, PTS A AND B, 2008, : 139 - 149
  • [36] VHDL OPENS THE ROAD TO TOP-DOWN DESIGN
    MEYER, E
    COMPUTER DESIGN, 1989, 28 (03): : 57 - 62
  • [37] The new generation of top-down design methodology
    Fujimoto, T
    Yamaguchi, M
    Yamanouchi, T
    Ohnishi, M
    Takahashi, M
    Kambe, T
    SHARP TECHNICAL JOURNAL, 1997, (67): : 25 - 30
  • [38] A TOP-DOWN STEP-WISE REFINEMENT METHODOLOGY FOR PROTOCOL SPECIFICATION
    LI, DH
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 197 - 221
  • [39] Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
    Cai, K.
    Wonham, W. M.
    INTELLIGENT SYSTEMS AND AUTOMATION, 2009, 1107 : 302 - 308
  • [40] Functional support for top-down assembly design
    Shi, W
    Qin, D
    ADVANCES IN MANUFACTURING TECHNOLOGY - XVII, 2003, : 241 - 245
12345