Slicing and partial evaluation of CORBA component model designs for avionics systems

被引：0
|
作者：
Hatcliff, J [1 ]
Deng, W [1 ]
Dwyer, MB [1 ]
Jung, G [1 ]
Ranganath, V [1 ]
Robby, R [1 ]
机构：
[1] Kansas State Univ, SAnToS Lab, Dept Comp & Informat Sci, Manhattan, KS 66506 USA
来源：
ACM SIGPLAN NOTICES | 2003年 / 38卷 / 10期
关键词：
design; verification; languages; slicing; CORBA; components; partial evaluation; designs; model-checking; real-time systems; embedded systems; distributed systems;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：241 / 242
页数：2
相关论文
共 50 条
  • [1] Enhancing interaction support in the CORBA component model
    Robert, S
    Radermacher, A
    Seignole, V
    Gérard, S
    Watine, V
    Terrier, F
    From Specification to Embedded Systems Application, 2005, 184 : 137 - 146
  • [2] Component based distributed systems - CORBA and EJB in context
    Lunney, TF
    McCaughey, AJ
    COMPUTER PHYSICS COMMUNICATIONS, 2000, 127 (2-3) : 207 - 214
  • [3] A parallel corba component model for numerical code coupling
    Pérez, C
    Priol, T
    Ribes, A
    INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2003, 17 (04) : 417 - 429
  • [4] A formal relationship between program slicing and partial evaluation
    Binkley, David W.
    Danicic, Sebastian
    Harman, Mark
    Howroyd, John
    Ouarbya, Lahcen
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (02) : 103 - 119
  • [5] Forward slicing of functional logic programs by partial evaluation
    Silva, Josep
    Vidal, German
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2007, 7 : 215 - 247
  • [6] A test-driven component development framework based on the CORBA component model
    Teiniker, E
    Mitterdorfer, S
    Johnson, LM
    27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 400 - 405
  • [7] Local components and reuse of legacy code in the CORBA component model
    Teiniker, E
    Mitterdorfer, S
    Kreiner, C
    Kovács, Z
    Weiss, R
    PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE, 2002, : 4 - 9
  • [8] Model checking intelligent avionics systems for test cases generation using multi-agent systems
    Elkholy, Warda
    El-Menshawy, Mohamed
    Bentahar, Jamal
    Elqortobi, Mounia
    Laarej, Amine
    Dssouli, Rachida
    EXPERT SYSTEMS WITH APPLICATIONS, 2020, 156
  • [9] Performance improvement of software component with partial evaluation
    毛宏燕
    黄林鹏
    李明禄
    Journal of Harbin Institute of Technology(New series), 2008, (01) : 95 - 99
  • [10] A Method for Component Evaluation for Live Testing of Cloud Systems
    Jebbar, Oussama
    Khendek, Ferhat
    Toeroe, Maria
    2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 87 - 92
12345