AutoFocus: A tool for distributed systems specification

被引：0
|
作者：
机构：
来源：
Lect Notes Comput Sci | / 467期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] AUTOFOCUS - A tool for distributed systems specification
    Huber, F
    Schatz, B
    Schmidt, A
    Spies, K
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 467 - 470
  • [2] Tool supported specification and simulation of distributed systems
    Huber, F
    Molterer, S
    Rausch, A
    Schatz, B
    Sihling, M
    Slotosch, O
    SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, : 155 - 164
  • [3] A Tool for the Model-Based Specification of Open Distributed Systems
    Raul Romero, Jose
    Ignacio Jaen, Juan
    Vallecillo, Antonio
    COMPUTER JOURNAL, 2013, 56 (07): : 793 - 818
  • [4] SPECIFICATION IN DISTRIBUTED SYSTEMS
    VONBOCHMANN, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
  • [5] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
    DEGANO, P
    MONTANARI, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51
  • [6] Compositional specification of distributed systems by distributed graph transformation
    Koch, M
    COMMUNICATION-BASED SYSTEMS, 2000, : 73 - 91
  • [7] Information systems as a tool for specification of concurrent systems
    Suraj, Z
    2003 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2003, : 4324 - 4329
  • [8] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [9] Specification of secure distributed collaboration systems
    Tripathi, AR
    Ahmed, T
    Kumar, R
    ISADS 2003: SIXTH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2003, : 149 - 156
  • [10] Graphical Specification Language for Distributed Systems
    Galicia, Jorge Cortes
    Garcia, Felipe Rolando Menchaca
    CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 385 - +
12345