DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - BASIC CONCEPTS

被引：0
|
作者：
ALFORD, MW [1 ]
LAMPORT, L [1 ]
MULLERY, GP [1 ]
机构：
[1] STANFORD UNIV,RES INST,STANFORD,CA 94305
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 190卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：7 / 43
页数：37
相关论文
共 50 条
  • [41] Component-Based Specification of Distributed Systems
    Malcolm, Grant
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 211 - 224
  • [42] Specification, standards and information management for distributed systems
    Awan, Irfan
    Jin, Qun
    Chao, Kuo-Ming
    [J]. COMPUTER STANDARDS & INTERFACES, 2009, 31 (05) : 869 - 869
  • [43] AN INTERPRETER FOR LOTOS, A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    LOGRIPPO, L
    OBAID, A
    BRIAND, JP
    FEHRI, MC
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (04): : 365 - 385
  • [44] Safety requirements specification on open distributed systems
    Avelino, VF
    Melnikoff, SSS
    [J]. SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 320 - 326
  • [45] ON THE USE OF SPECIFICATION STYLES IN THE DESIGN OF DISTRIBUTED SYSTEMS
    VISSERS, CA
    SCOLLO, G
    VANSINDEREN, M
    BRINKSMA, E
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 60 - 60
  • [46] Supporting Scientific Collaboration: Methods, Tools and Concepts
    Marina Jirotka
    Charlotte P. Lee
    Gary M. Olson
    [J]. Computer Supported Cooperative Work (CSCW), 2013, 22 : 667 - 715
  • [47] Supporting Scientific Collaboration: Methods, Tools and Concepts
    Jirotka, Marina
    Lee, Charlotte P.
    Olson, Gary M.
    [J]. COMPUTER SUPPORTED COOPERATIVE WORK-THE JOURNAL OF COLLABORATIVE COMPUTING AND WORK PRACTICES, 2013, 22 (4-6): : 667 - 715
  • [48] External conformance requirements: Concepts, methods and tools
    Artych, R
    Brzezinski, KM
    [J]. TESTING OF COMMUNICATING SYSTEMS: METHODS AND APPLICATIONS, 1999, 21 : 363 - 378
  • [49] User interfaces for all: Concepts, methods, and tools
    Owens, D
    [J]. TECHNICAL COMMUNICATION, 2002, 49 (03) : 360 - 362
  • [50] User interfaces for all: Concepts, methods and tools
    Arnfeld, A
    [J]. ERGONOMICS, 2003, 46 (04) : 425 - 426
12345