• DocumentCode
    467095
  • Title

    A Quality Verification Model for Design Pattern

  • Author

    Hsueh, Nien-Lin ; Chu, Peng-Hua ; Lee, Jonathan ; Chu, William

  • Author_Institution
    Feng Chia Univ., Taichung
  • Volume
    1
  • fYear
    2007
  • fDate
    24-27 July 2007
  • Firstpage
    531
  • Lastpage
    534
  • Abstract
    In recent years, the influence of design patterns on software quality has attracted an increasing attention in the area of software engineering, as design patterns encapsulate valuable knowledge to resolve design problems, and more importantly to improve design quality. Basically, a design pattern is composed of an intent description and a solution model. When the problem in the intent is a quality problem, the structure model should provide a solution to improve the relevant quality. In this work we provide an approach to verify if a design pattern is well-designed, i.e. it answers the question of the proposed structural model really resolves the quality problems described in the intent. Our approach is based on a generic object-oriented quality model.
  • Keywords
    formal verification; software quality; design pattern; generic object-oriented quality model; quality verification model; software engineering; software quality; Buildings; IEC; Object oriented modeling; Pattern analysis; Production facilities; Software design; Software engineering; Software quality; Software systems; Tin;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
  • Conference_Location
    Beijing
  • ISSN
    0730-3157
  • Print_ISBN
    0-7695-2870-8
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2007.36
  • Filename
    4291047