AutoFocus: A tool for distributed systems specification

被引：0
|
作者：
机构：
来源：
Lect Notes Comput Sci | / 467期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] SPECIFICATION AND TOP DOWN DESIGN OF DISTRIBUTED SYSTEMS
    BROY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 4 - 28
  • [22] A formal approach for the specification of communications in distributed systems
    Georgelin, P
    Pierre, L
    Nguyen, T
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 393 - 398
  • [23] Basic protocols: Specification language for distributed systems
    Letichevsky, Alexander
    Perspectives of Systems Informatics, 2007, 4378 : 21 - 25
  • [24] Specification of the behavior of memory operations in distributed systems
    Departement d'Informàtica, Universitat Jaume I, 12071, Castelló, Spain
    Parallel Process Lett, 4 (589-598):
  • [25] AN INTRODUCTION TO ESTELLE - A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    BUDKOWSKI, S
    DEMBINSKI, P
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 3 - 23
  • [26] Component-Based Specification of Distributed Systems
    Malcolm, Grant
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 211 - 224
  • [27] AN INTERPRETER FOR LOTOS, A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    LOGRIPPO, L
    OBAID, A
    BRIAND, JP
    FEHRI, MC
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (04): : 365 - 385
  • [28] Specification, standards and information management for distributed systems
    Awan, Irfan
    Jin, Qun
    Chao, Kuo-Ming
    COMPUTER STANDARDS & INTERFACES, 2009, 31 (05) : 869 - 869
  • [29] ON THE USE OF SPECIFICATION STYLES IN THE DESIGN OF DISTRIBUTED SYSTEMS
    VISSERS, CA
    SCOLLO, G
    VANSINDEREN, M
    BRINKSMA, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 60 - 60
  • [30] Safety requirements specification on open distributed systems
    Avelino, VF
    Melnikoff, SSS
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 320 - 326
12345