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

文章基本信息

  • 标题:Similarity Detection in Collaborative Development of Object-Oriented Formal Specifications
  • 作者:Fathi Taibi ; Fouad Mohammed Abbou ; Md. Jahangir Alam
  • 期刊名称:International Journal of Computer Science
  • 出版年度:2008
  • 卷号:3
  • 期号:03
  • 出版社:World Enformatika Society
  • 摘要:

    The complexity of today’s software systems makes
    collaborative development necessary to accomplish tasks.
    Frameworks are necessary to allow developers perform their tasks
    independently yet collaboratively. Similarity detection is one of the
    major issues to consider when developing such frameworks. It allows
    developers to mine existing repositories when developing their own
    views of a software artifact, and it is necessary for identifying the
    correspondences between the views to allow merging them and
    checking their consistency. Due to the importance of the
    requirements specification stage in software development, this paper
    proposes a framework for collaborative development of Object-
    Oriented formal specifications along with a similarity detection
    approach to support the creation, merging and consistency checking
    of specifications. The paper also explores the impact of using
    additional concepts on improving the matching results. Finally, the
    proposed approach is empirically evaluated.

  • 关键词:Collaborative Development; Formal methods; Object-Oriented; Similarity detection¨ ðÉs
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有