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
Link To Document