首页    期刊浏览 2024年11月29日 星期五
登录注册

文章基本信息

  • 标题:On Verification of Software Components
  • 本地全文:下载
  • 作者:Basem Y. Alkazemi,Umm Al-Qura University
  • 期刊名称:International Journal of Software Engineering & Applications (IJSEA)
  • 印刷版ISSN:0976-2221
  • 电子版ISSN:0975-9018
  • 出版年度:2012
  • 卷号:3
  • 期号:5
  • 页码:17
  • 出版社:Academy & Industry Research Collaboration Center (AIRCC)
  • 摘要:Utilizing third party software components in the development of new systems became somewhatunfavourable approach among many organizations nowadays. This reluctance is primarily built due to thelack of support to verify the quality attributes of software components in order to avoid potentialmismatches with system’s requirements. This paper presents an approach to overcome this problem byproviding a tool support to check component compatibility to a specification provided by developers. So,component’s compatibility can be checked and developers can verify components that match their qualityattributes prior of integrating them into their system.
  • 关键词:verification; components; specification languages; system structure; quality; CBSD
国家哲学社会科学文献中心版权所有