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 条
  • [21] Formal specification of non-functional properties of component-based software systems
    Zschaler, Steffen
    SOFTWARE AND SYSTEMS MODELING, 2010, 9 (02): : 161 - 201
  • [22] Rigorous development of component-based systems using component metadata and patterns
    Oliveira, M. V. M.
    Antonino, P.
    Ramos, R.
    Sampaio, A.
    Mota, A.
    Roscoe, A. W.
    FORMAL ASPECTS OF COMPUTING, 2016, 28 (06) : 937 - 1004
  • [23] Towards a verified transformation from AADL to the formal component-based language FIACRE
    Bodeveix, Jean-Paul
    Filali, Mamoun
    Garnacho, Manuel
    Spadotti, Regis
    Yang, Zhibin
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 106 : 30 - 53
  • [24] The software supermarket: A catalyst for component-based software development
    Pyne, RA
    Mugisa, EK
    Proceedings of the IASTED International Conference on Software Engineering, 2004, : 269 - 274
  • [25] Component-based development of secure mobile agents applications
    Moratalla, Alvaro
    Robles, Sergi
    MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 113 - 122
  • [26] Component-based development of Web-enabled eHome services
    Michael Kirchhof
    Sebastian Linz
    Personal and Ubiquitous Computing, 2005, 9 : 323 - 332
  • [27] Component-based development of Web-enabled eHome services
    Kirchhof, Michael
    Linz, Sebastian
    PERSONAL AND UBIQUITOUS COMPUTING, 2005, 9 (05) : 323 - 332
  • [28] Component-based software engineering - New challenges in software development
    Crnkovic, I
    ITI 2003: PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2003, : 9 - 18
  • [29] Component-Based Development of Educational Games: The Case of the User Interface
    Maciuszek, Dennis
    Ruddeck, Geraldine
    Martens, Alke
    PROCEEDINGS OF THE 4TH EUROPEAN CONFERENCE ON GAMES BASED LEARNING, 2010, : 208 - 217
  • [30] Development of production planning system for shipbuilding using component-based development framework
    Cho, Sungwon
    Lee, Jong Moo
    Woo, Jong Hun
    INTERNATIONAL JOURNAL OF NAVAL ARCHITECTURE AND OCEAN ENGINEERING, 2021, 13 : 405 - 430
12345