Specification and Verification of Component-based Systems (SAVCBS)

被引：0
|
作者：
Sharygina, Natasha [1 ]
机构：
[1] CMU, Sch Comp Sci, Pittsburgh, PA USA
来源：
IET SOFTWARE | 2008年 / 2卷 / 06期
关键词：
D O I：
10.1049/iet-sen:20089027
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：475 / 476
页数：2
相关论文
共 50 条
  • [41] Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties
    Hill, James H.
    Gokhale, Aniruddha
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3766 - 3773
  • [42] Formal verification in a component-based reuse methodology
    Karlsson, D
    Eles, P
    Peng, Z
    [J]. ISSS'02: 15TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2002, : 156 - 161
  • [43] Protocol verification in a software component-based approach
    Mouakher, Ines
    Souquieres, Jeanine
    Alexandre, Francis
    [J]. FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 136 - 145
  • [44] A complexity measure for UML component-based system specification
    Mahmood, Sajad
    Lai, Richard
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2008, 38 (02): : 117 - 134
  • [45] Formal verification issues for component-based development
    Hariati M.
    [J]. Informatica (Slovenia), 2020, 44 (04): : 469 - 475
  • [46] Verification of component-based software application families
    Xie, Fei
    Browne, James C.
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4063 : 50 - 66
  • [47] Towards Component-Based Design and Verification of a μ-Controller
    Choi, Yunja
    Bunse, Christian
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 196 - +
  • [48] Formal Verification Issues For Component-Based Development
    Hariati, Mehdi
    [J]. INFORMATICA-AN INTERNATIONAL JOURNAL OF COMPUTING AND INFORMATICS, 2020, 44 (04): : 469 - 475
  • [49] H: A component-based specification language for heterogeneous applications
    Fernandez-Madrigal, J. A.
    Llopis, L.
    Cruz-Martin, A.
    Galindo, C.
    Gonzalez-Jimenez, J.
    [J]. COMPUTER STANDARDS & INTERFACES, 2013, 35 (01) : 30 - 49
  • [50] Runtime Verification of Component-Based Embedded Software
    Sozer, Hasan
    Hofmann, Christian
    Tekinerdogan, Bedir
    Aksit, Mehmet
    [J]. COMPUTER AND INFORMATION SCIENCES II, 2012, : 471 - 477
12345