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 条
  • [41] Runtime Verification of Component-Based Embedded Software
    Sozer, Hasan
    Hofmann, Christian
    Tekinerdogan, Bedir
    Aksit, Mehmet
    COMPUTER AND INFORMATION SCIENCES II, 2012, : 471 - 477
  • [42] Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems
    Childs, Adam
    Greenwald, Jesse
    Ranganath, Venkatesh Prasad
    Deng, Xianghua
    Dwyer, Matthew
    Hatcliff, John
    Jung, Georg
    Shanti, Prashant
    Singh, Gurdip
    Lect. Notes Comput. Sci., 1600, (160-164):
  • [43] Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems
    Childs, A
    Greenwald, J
    Ranganath, VP
    Deng, XH
    Dwyer, M
    Hatcliff, J
    Jung, G
    Shanti, P
    Singh, G
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 160 - 164
  • [44] Challenges of component-based development
    Crnkovic, I
    Larsson, M
    JOURNAL OF SYSTEMS AND SOFTWARE, 2002, 61 (03) : 201 - 212
  • [45] Component-Based Software Development
    Sharma, Virendra Kumar
    Gupta, Narendra Prakash
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (11): : 132 - 134
  • [46] The future of component-based development
    Meyer, B
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 5 - 5
  • [47] Component-based software development
    Capretz, LF
    Capretz, MAM
    Li, DH
    IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2001, : 1834 - 1837
  • [48] Component-Based Tool Development
    Kienle, Holger M.
    2008 FRONTIERS OF SOFTWARE MAINTENANCE, 2008, : 87 - 98
  • [49] The economics of component-based development
    Dué, RT
    INFORMATION SYSTEMS MANAGEMENT, 2000, 17 (01) : 92 - 95
  • [50] On Automating Component-based Development
    Velasco Elizondo, Perla
    2009 6TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATION CONTROL (CCE 2009), 2009, : 451 - 456
12345