Real-Time Object-Oriented Design and Formal Methods

被引：0
|
作者：
Juan Antonio de la Puente
机构：
[1] Technical University of Madrid,Dept. of Telematics Engineering, School of Telecommunication
来源：
Real-Time Systems | 2000年 / 18卷
关键词：
Operating System; Formal Method; Computing Methodology;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：79 / 83
页数：4
相关论文
共 50 条
  • [1] Real-time object-oriented design and formal methods
    De la Puente, JA
    [J]. REAL-TIME SYSTEMS, 2000, 18 (01) : 79 - 83
  • [2] Real-time design goes object-oriented
    Grehan, R
    [J]. COMPUTER DESIGN, 1997, 36 (12): : 57 - +
  • [3] OBJECT-ORIENTED DESIGN OF REAL-TIME SOFTWARE
    BIHARI, T
    GOPINATH, P
    SCHWAN, K
    [J]. REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 194 - 201
  • [4] OBJECT-ORIENTED METHODS TRANSFORM REAL-TIME PROGRAMMING
    WILLIAMS, T
    [J]. COMPUTER DESIGN, 1992, 31 (09): : 101 - &
  • [5] Object-oriented behaviour modelling for real-time design
    Hanish, AA
    Dillon, TS
    [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 74 - 82
  • [6] Object-oriented design of real-time telecom systems
    Jezequel, JM
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 458 - 466
  • [7] An environment for object-oriented real-time systems design
    vandeWeg, R
    Engmann, R
    vandeHoef, R
    tenThij, V
    [J]. 8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 23 - 33
  • [8] Object-oriented design of real-time systems with stereotypes
    deMiguel, MA
    Alonso, A
    delaPuente, JA
    [J]. NINTH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS, PROCEEDINGS, 1997, : 216 - 223
  • [9] Object-oriented real-time concurrency
    Buhr, PA
    Harji, AS
    Lim, PE
    Chen, JX
    [J]. ACM SIGPLAN NOTICES, 2000, 35 (10) : 29 - 46
  • [10] Real-time object-oriented modeling
    Smith, KW
    [J]. DR DOBBS JOURNAL, 1997, 22 (12): : 64 - &
12345