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 条
  • [31] Simplifying the construction of source code transformations via automatic syntactic restructurings
    Newman, Christian D.
    Bartman, Brian
    Collard, Michael L.
    Maletic, Jonathan I.
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2017, 29 (04)
  • [32] SYNTHESIS OF PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS OF DISTRIBUTED SYSTEMS IN A MARKED GRAPH MODEL
    YAMAGUCHI, H
    OKANO, K
    HIGASHINO, T
    TANIGUCHI, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (10) : 1623 - 1633
  • [33] Reverse engineering from assembler to formal specifications via program transformations
    Ward, MP
    SEVENTH WORKING CONFERENCE ON REVERSE ENGINEERING - PROCEEDINGS, 2000, : 11 - 20
  • [34] Automating lane changes and collision avoidance on highways via distributed agreement
    Molinari, Fabio
    Grapentin, Aaron
    Charalampidis, Alexandros
    Raisch, Joerg
    AT-AUTOMATISIERUNGSTECHNIK, 2019, 67 (12) : 1047 - 1057
  • [35] Synthesis of distributed systems from knowledge-based specifications
    van der Meyden, R
    Wilke, T
    CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 562 - 576
  • [36] Distributed Plan Reconfiguration via Knowledge Transfer in Multi-agent Systems under Local LTL Specifications
    Guo, Meng
    Dimarogonas, Dimos V.
    2014 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2014, : 4304 - 4309
  • [37] Dynamic evolution of distributed systems specifications using reflective language
    Hamid, IA
    Erradi, M
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1995, 5 (04) : 511 - 540
  • [38] Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
    Chatain, Thomas
    Gastin, Paul
    Sznajder, Nathalie
    SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2009, 5404 : 141 - 152
  • [39] On the use of formal specifications to analyze fault Behaviors of distributed systems
    Dotti, FL
    dos Santos, OM
    Rödel, ET
    DEPENDABLE COMPUTING, 2003, 2847 : 341 - 360
  • [40] Towards a refinement of the open distributed systems interactions signatures
    Reda, Oussama
    El Ouahidi, Bouabid
    Bourget, Daniel
    WSEAS Transactions on Communications, 2007, 6 (04): : 601 - 607
12345