English

On verification of software components

Software Engineering 2012-10-16 v1

Abstract

Utilizing third party software components in the development of new systems became somewhat unfavourable approach among many organizations nowadays. This reluctance is primarily built due to the lack of support to verify the quality attributes of software components in order to avoid potential mismatches with systems requirements. This paper presents an approach to overcome this problem by providing a tool support to check component compatibility to a specification provided by developers. So, components compatibility can be checked and developers can verify components that match their quality attributes prior of integrating them into their system.

Keywords

Cite

@article{arxiv.1210.3758,
  title  = {On verification of software components},
  author = {Basem Y. Alkazemi},
  journal= {arXiv preprint arXiv:1210.3758},
  year   = {2012}
}

Comments

13 pages, 3 figures

R2 v1 2026-06-21T22:21:12.157Z