AutoFocus: A tool for distributed systems specification

被引：0
|
作者：
机构：
来源：
Lect Notes Comput Sci | / 467期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] HOPS:: A prototypical specification tool for interactive systems
    Dittmar, Anke
    Huebner, Toralf
    Forbrig, Peter
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, 2008, 5136 : 58 - 71
  • [32] Specification of distributed systems with a combination of graphical and formal languages
    Johnsen, EB
    Zhang, WH
    Owe, O
    Aredo, DB
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 105 - 108
  • [33] Method for the specification and verification of distributed systems by a timed automaton
    Yamane, Satoshi
    Systems and Computers in Japan, 1997, 28 (02) : 11 - 20
  • [34] Integrating UML and OUN for specification of open distributed systems
    Zhang, WH
    Johnsen, EB
    Owe, O
    Aredo, DB
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 122 - 123
  • [35] ACTION SYSTEM APPROACH TO THE SPECIFICATION AND DESIGN OF DISTRIBUTED SYSTEMS
    KURKISUONIO, R
    JARVINEN, HM
    SOFTWARE DEVELOPMENT TRENDS, 1989, 104 : 9 - 21
  • [36] Specification and Verification in Integrated Model of Distributed Systems (IMDS)
    Daszczuk, Wiktor B.
    COMPUTERS, 2018, 7 (04)
  • [37] SPECIFICATION STYLES IN DISTRIBUTED SYSTEMS-DESIGN AND VERIFICATION
    VISSERS, CA
    SCOLLO, G
    VANSINDEREN, M
    BRINKSMA, E
    THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 179 - 206
  • [38] A specification architecture for multimedia systems in Open Distributed Processing
    Blair, GS
    Blair, L
    Stefani, JB
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 473 - 500
  • [39] Specification and Safety Verification of Parametric Hierarchical Distributed Systems
    Bozga, Marius
    Iosif, Radu
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 95 - 114
  • [40] Quality of service specification in distributed object systems design
    Frolund, S
    Koistinen, J
    PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 1 - 18
12345