Event-based design of concurrent programs with Java']Java implementation

被引：0
|
作者：
Rischel, H [1 ]
Sun, HY [1 ]
机构：
[1] Tech Univ Denmark, IMM, DK-2800 Lyngby, Denmark
来源：
COMMUNICATING PROCESS ARCHITECTURES 2001 | 2001年 / 59卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A systematic design approach to safety-critical systems is introduced by means of the Production Cell case study. The design is documented using CSP-style processes, which allow verifications using formal techniques, as well as programming in Java using the JCSP library.
引用
收藏
页码：117 / 128
页数：12
相关论文
共 50 条
  • [1] Java']Java implementation platform for the integrated state- and event-based specification in PROB
    Yang, L.
    Poppleton, M. R.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2010, 22 (08): : 1007 - 1022
  • [2] Checking Event-Based Specifications in Java']Java Systems
    Reiss, Steven P.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (03) : 107 - 132
  • [3] Design of a toolset for dynamic analysis of concurrent Java']Java programs
    Bechini, A
    Tai, KC
    6TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 98) - PROCEEDINGS, 1998, : 190 - 197
  • [4] Slicing concurrent Java']Java programs
    Chen, ZQ
    Xu, BW
    ACM SIGPLAN NOTICES, 2001, 36 (04) : 41 - 47
  • [5] Slicing concurrent Java']Java programs
    Zhao, JJ
    SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 126 - 133
  • [6] Writing concurrent Java']Java programs based on CafeOBJ specifications
    Ha, Xuan-Linh
    Ogata, Kazuhiro
    2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 618 - 623
  • [7] Safe and verifiable design of concurrent Java programs
    Welch, P.H.
    Hilderink, G.H.
    Bakkers, A.W.P.
    Stiles, G.S.
    International Journal of Computers and Applications, 2001, 23 (03): : 159 - 165
  • [8] Error Detection in Concurrent Java']Java Programs
    Hughes, Graham
    Rajan, Sreeranga P.
    Sidle, Tom
    Swenson, Keith
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (03) : 45 - 58
  • [9] Concurrent Discrete Event Simulation in Java']Java
    Dalseng, John I.
    EUROPEAN SIMULATION AND MODELLING CONFERENCE 2010, 2010, : 102 - 104
  • [10] TigerQuoll: Parallel Event-based Java']JavaScript
    Bonetta, Daniele
    Binder, Walter
    Pautasso, Cesare
    ACM SIGPLAN NOTICES, 2013, 48 (08) : 251 - 260
12345