SPECIFICATION AND TOP-DOWN DESIGN OF DISTRIBUTED SYSTEMS

被引：1

作者：

BROY, M

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(87)90026-2

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：236 / 265

页数：30

共 50 条

[1] SPECIFICATION AND TOP DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 4 - 28
[2] TOP-DOWN DESIGN
SHANDLE, J
ELECTRONIC DESIGN, 1995, 43 (12) : 18 - 18
[3] TOP-DOWN FORMAL SPECIFICATION AND VERIFICATION OF PARALLEL CONTROL-SYSTEMS
VALETTE, R
DIAZ, M
DIGITAL PROCESSES, 1978, 4 (3-4): : 181 - 199
[4] Top-down considerations on distributed computing
van der Meyden, R
Moses, Y
DISTRIBUTED COMPUTING, 1998, 1499 : 16 - 19
[5] Distributed top-down hierarchy construction
Thaler, DG
Ravishankar, CV
IEEE INFOCOM '98 - THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS. 1-3: GATEWAY TO THE 21ST CENTURY, 1998, : 693 - 701
[6] Top-down design of MEMS
Fedder, GK
2000 INTERNATIONAL CONFERENCE ON MODELING AND SIMULATION OF MICROSYSTEMS, TECHNICAL PROCEEDINGS, 2000, : 7 - 10
[7] MODIFIED TOP-DOWN DESIGN
SAMID, G
DATAMATION, 1981, 27 (12): : 175 - 176
[8] TOP-DOWN INTERVIEW DESIGN
FOREST, RB
INFOSYSTEMS, 1982, 29 (02): : 108 - 108
[9] Top-Down Design of Collaborating Processes
Koepke, Julius
Eder, Johann
Kuenstner, Markus
16TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS 2014), 2014, : 336 - 345
[10] On modeling top-down VLSI design
Schuermann, Bernd
Altmeyer, Joachim
Schuetze, Martin
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994, : 508 - 515