Topological framework of stepwise specification for concurrent systems

被引：0
作者：
Sendai Natl Coll of Technology, Sendai-shi, Japan [1 ]
机构：
来源：
IEICE Trans Fund Electron Commun Comput Sci | / 11卷 / 1760-1767期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
7
引用
收藏
相关论文
共 50 条
  • [21] A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
    Broy, Manfred
    FORMAL ASPECTS OF COMPUTING, 2024, 36 (03)
  • [22] An integrated specification framework for embedded systems
    Bujorianu, Marius C.
    Bujorianu, Manuela L.
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 161 - +
  • [23] A Specification Analysis Framework for Aircraft Systems
    Deppen, Timothy
    Raczkowski, Brian
    Amrhein, Marco
    Wells, Jason
    Walters, Eric
    Bodie, Mark
    Patnaik, Soumya
    SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2016, 9 (01): : 82 - 90
  • [24] A framework and patterns for the specification of reactive systems
    Barroca, L
    Henriques, P
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (03) : 135 - 142
  • [25] A framework for formal specification of embedded systems
    Bures, F
    Rysavy, O
    Scuglik, F
    Sveda, M
    12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 323 - 330
  • [26] TOWARDS THE HIERARCHICAL, TEMPORAL LOGIC, SPECIFICATION OF CONCURRENT SYSTEMS
    BARRINGER, H
    KUIPER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 157 - 183
  • [27] A method to test concurrent systems using architectural specification
    Reza, Hassan
    Grant, Emanuel S.
    JOURNAL OF SUPERCOMPUTING, 2007, 39 (03) : 347 - 357
  • [28] LfP:: A specification language for rapid prototyping of concurrent systems
    Regep, D
    Kordon, F
    12TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 90 - 96
  • [29] Specification and analysis of concurrent systems in a complete visual environment
    Duecker, M
    Lehrenfeld, G
    Mueller, W
    Tahedl, C
    MODELLING AND SIMULATION 1996, 1996, : 491 - 495
  • [30] A method to test concurrent systems using architectural specification
    Hassan Reza
    Emanuel S. Grant
    The Journal of Supercomputing, 2007, 39 : 347 - 357
12345