Formal Verification Issues For Component-Based Development
Abstract
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.
DOI:
https://doi.org/10.31449/inf.v44i4.3152Downloads
Published
12/15/2020
How to Cite
Hariati, M. (2020). Formal Verification Issues For Component-Based Development. Informatica, 44(4). https://doi.org/10.31449/inf.v44i4.3152
Issue
Section
Regular papers
License
Authors retain copyright in their work. By submitting to and publishing with Informatica, authors grant the publisher (Slovene Society Informatika) the non-exclusive right to publish, reproduce, and distribute the article and to identify itself as the original publisher.
All articles are published under the Creative Commons Attribution license CC BY 3.0. Under this license, others may share and adapt the work for any purpose, provided appropriate credit is given and changes (if any) are indicated.
Authors may deposit and share the submitted version, accepted manuscript, and published version, provided the original publication in Informatica is properly cited.
