Automating the refinement of specifications for distributed systems via syntactic transformations

被引：0
|
作者：
Florida Int Univ, Miami, United States [1 ]
机构：
来源：
Int J Syst Sci | / 11卷 / 1129-1144期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Automating the refinement of specifications for distributed systems via syntactic transformations
    Attie, P
    Das, C
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1997, 28 (11) : 1129 - 1144
  • [2] Automatic refinement of distributed systems specifications using program transformations
    de Santana, ACL
    do Prado, AF
    de Souza, WL
    Sant'Anna, M
    TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 154 - 163
  • [3] SPECIFICATIONS OF DISTRIBUTED SYSTEMS IN PROLOG
    URAL, H
    JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 11 (02) : 143 - 154
  • [4] Automating fault location in distributed systems
    Turner, C.W.
    Lutfiyya, H.L.
    International Journal of Parallel and Distributed Systems and Networks, 1999, 2 (02): : 88 - 99
  • [5] Refinement of model specifications in embedded systems design
    Schulz, S
    Rozenblit, JW
    NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 159 - 166
  • [6] Automating Model Transformations for Railway Systems Engineering
    Weidmann, Nils
    Salunkhe, Shubhangi
    Anjorin, Anthony
    Yigitbas, Enes
    Engels, Gregor
    JOURNAL OF OBJECT TECHNOLOGY, 2021, 20 (03):
  • [7] ON DECOMPOSING AND REFINING SPECIFICATIONS OF DISTRIBUTED SYSTEMS
    JONSSON, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 361 - 385
  • [8] SIMULATIONS BETWEEN SPECIFICATIONS OF DISTRIBUTED SYSTEMS
    JONSSON, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 346 - 360
  • [9] Executable Specifications for embedded distributed systems
    Sveda, M
    Vrba, R
    COMPUTER, 2001, 34 (01) : 138 - 140
  • [10] Syntactic Language Extension via an Algebra of Languages and Transformations
    Andersen, Jacob
    Brabrand, Claus
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 253 (07) : 19 - 35
12345