Title :
A design pattern verifier in two-tier programming environment
Author :
Yuan, Jie ; Miao, Huaikou ; Cai, Liang
Author_Institution :
Sch. of Comput. Eng. & Sci., Shanghai Univ., China
Abstract :
The automatic verification of the design patterns implemented in codes is one of the most important and feasible tasks on automatic verification of program, and provides useful experience to fully automatic verifications of program codes in the future. In this paper, based on the design pattern formalization and two-tier programming paradigm, the framework of a design pattern verification tool is proposed, the object-oriented design of both program design model and design pattern specification is explained, the implementation of a prototype for the tool is introduced, and the verification of a real design pattern is illustrated.
Keywords :
formal specification; object-oriented programming; program verification; programming environments; software tools; automatic program verification; design pattern formalization; design pattern verification tool; object-oriented design; program codes; program design model; program design pattern specification; two-tier programming environment; Automatic programming; Computer languages; Design engineering; Formal specifications; Object oriented modeling; Programming environments; Prototypes; Software design; Software prototyping; Software systems;
Conference_Titel :
Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on
Print_ISBN :
0-7695-2216-5
DOI :
10.1109/CIT.2004.1357339
