Formal Verification Issues For Component-Based Development

被引：0
|
作者：
Hariati, Mehdi [1 ]
机构：
[1] Badji Mokhtar Annaba Univ, LISCO Lab, Comp Sci Dept, Annaba, Algeria
来源：
INFORMATICA-AN INTERNATIONAL JOURNAL OF COMPUTING AND INFORMATICS | 2020年 / 44卷 / 04期
关键词：
component-based development; formal verification; classification;
D O I：
10.31449/inf.v44i4.3152
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Component-based development has made a breakthrough in software industry, it offers safer systems and easier to maintain, furthermore, costs and time to market are reduced. However, several issues, such as the correctness of component-based systems, their adaptation or the interactions between their components, require rigorous verification through the use of formal methods and tools. In this paper, we first present an introduction to component-based development; afterward we propose a classification of formal verification issues for component-based systems.
引用
收藏
页码：469 / 475
页数：7
相关论文
共 50 条
  • [1] Formal verification issues for component-based development
    Hariati M.
    Informatica (Slovenia), 2020, 44 (04): : 469 - 475
  • [2] Formal verification of component-based designs
    Karlsson, Daniel
    Eles, Petru
    Peng, Zebo
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2007, 11 (01) : 49 - 90
  • [3] Formal verification of component-based designs
    Daniel Karlsson
    Petru Eles
    Zebo Peng
    Design Automation for Embedded Systems, 2007, 11 : 49 - 90
  • [4] Formal verification in a component-based reuse methodology
    Karlsson, D
    Eles, P
    Peng, Z
    ISSS'02: 15TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2002, : 156 - 161
  • [5] Critical issues in component-based development
    Gonzalez, Rafael
    Torres, Miguel
    3RD INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 1, PROCEEDINGS, 2005, : 249 - 254
  • [6] Visual Component-based Development of Formal Models
    Ostroumov, Sergey
    Walden, Marina
    THIRD INTERNATIONAL CONFERENCE ON ADVANCES AND TRENDS IN SOFTWARE ENGINEERING (SOFTENG 2017), 2017, : 43 - 50
  • [7] A component-based approach to verification and validation of formal software models
    Desovski, Dejan
    Cukic, Bojan
    ARCHITECTING DEPENDABLE SYSTEMS IV, 2007, 4615 : 89 - +
  • [8] A formal approach for the specification and verification of trustworthy component-based systems
    Mohammad, Mubarak
    Alagar, Vangalur
    JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (01) : 77 - 104
  • [9] Towards Rewriting-based Formal Model for Component-based Systems Verification
    Debza, A. A.
    Bouanaka, Chafia
    Zeghib, Nadia
    2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE), 2016, : 46 - 53
  • [10] Support Formal Component-based Development with UML Profile
    Li, Dan
    Li, Xiaoshan
    Liu, Zhiming
    Stolz, Volker
    2013 22ND AUSTRALASIAN CONFERENCE ON SOFTWARE ENGINEERING (ASWEC), 2013, : 191 - 200
12345