Object-oriented method for real-time systems based on timed automaton

被引:0
|
作者
Yamane, S [1 ]
机构
[1] SHIMANE UNIV,DEPT COMP SCI,MATSUE,SHIMANE,JAPAN
关键词
D O I
10.1109/WORDS.1996.506285
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:210 / 217
页数:8
相关论文
共 50 条
  • [11] CONCURRENT OBJECT-ORIENTED REAL-TIME SYSTEMS RESEARCH
    KAFURA, D
    SIGPLAN NOTICES, 1989, 24 (04): : 203 - 205
  • [12] An environment for object-oriented real-time systems design
    vandeWeg, R
    Engmann, R
    vandeHoef, R
    tenThij, V
    8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 23 - 33
  • [13] Integrated environment based on object-oriented methodology for real-time systems
    Keum, CS
    Lee, JK
    Lee, D
    Lee, BS
    FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 284 - 288
  • [14] Object-oriented real-time concurrency
    Buhr, PA
    Harji, AS
    Lim, PE
    Chen, JX
    ACM SIGPLAN NOTICES, 2000, 35 (10) : 29 - 46
  • [15] Real-time object-oriented modeling
    Smith, KW
    DR DOBBS JOURNAL, 1997, 22 (12): : 64 - &
  • [16] RULE-BASED OBJECT-ORIENTED APPROACH FOR MODELING REAL-TIME SYSTEMS
    GHALY, R
    PRABHAKARAN, N
    INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (04) : 250 - 258
  • [17] Modeling time in object-oriented specifications of real-time imaging systems
    Neill, CJ
    Laplante, PA
    LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 200 - 206
  • [18] An Object-Oriented Application Framework for the Development of Real-Time Systems
    Fiamberti, Francesco
    Micucci, Daniela
    Tisato, Francesco
    OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, 2012, 7304 : 75 - 90
  • [19] Automated verification of the dependability of object-oriented real-time systems
    Ding, H
    Zheng, C
    Agha, G
    Sha, L
    NINTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2004, : 171 - 178
  • [20] Concurrent object-oriented programming for distributed real-time systems
    Maruyama, K
    INFORMATION SCIENCES, 1996, 93 (1-2) : 87 - 106