DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - ACQUISITION ENVIRONMENT

被引：0
|
作者：
MULLERY, GP
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 190卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：45 / 130
页数：86
相关论文
共 50 条
  • [1] DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - BASIC CONCEPTS
    ALFORD, MW
    LAMPORT, L
    MULLERY, GP
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 7 - 43
  • [2] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [3] Methods and tools for profiling and control of distributed systems
    Sukharev, R.
    Lukyanchikov, O.
    Nikulchev, E.
    Biryukov, D.
    Ryadchikov, I.
    2017 WORKSHOP ON MATERIALS AND ENGINEERING IN AERONAUTICS (MEA2017), 2018, 312
  • [4] Methods and Tools for Profiling and Control of Distributed Systems
    Sukharev, Roman
    Pluzhnik, Evgeniy
    Lukyanchikov, Oleg
    Biryukov, Dmitry
    2017 SEMINAR ON SYSTEMS ANALYSIS, 2017, 10
  • [5] PRACTICAL METHODS AND TOOLS FOR SPECIFICATION
    LUDEWIG, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 174 - 207
  • [6] SPECIFICATION IN DISTRIBUTED SYSTEMS
    VONBOCHMANN, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
  • [7] Hardware simulation in distributed computing systems: Methods and tools
    Grebnev, VA
    Kapitonova, YV
    Letichevskii, AA
    CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (03) : 350 - 364
  • [8] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
    DEGANO, P
    MONTANARI, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51
  • [9] Improving HFI within systems acquisition: Methods, tools and future directions
    Newman P.
    Bruseberg A.
    Lowe M.
    Borras C.
    Tatlock K.
    Cognition, Technology & Work, 2008, 10 (3) : 173 - 180
  • [10] Control of distributed data acquisition systems using object oriented methods
    Kemmerling, G
    Korten, M
    ACCELERATOR AND LARGE EXPERIMENTAL PHYSICS CONTROL SYSTEMS, 1997, : 385 - 387
12345