loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Computer and Information Technology (CIT'04)
A Design Pattern Verifier in Two-Tier Programming Environment
Wuhan, China
September 14-September 16
ISBN: 0-7695-2216-5
ASCII Text
x 
 
Jie Yuan, Huaikou Miao, Liang Cai, "A Design Pattern Verifier in Two-Tier Programming Environment," Computer and Information Technology, International Conference on, pp. 1081-1086, Fourth International Conference on Computer and Information Technology (CIT'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CIT.2004.1357339,
author = {Jie Yuan and Huaikou Miao and Liang Cai},
title = {A Design Pattern Verifier in Two-Tier Programming Environment},
journal ={Computer and Information Technology, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2216-5},
pages = {1081-1086},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357339},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Technology, International Conference on
TI - A Design Pattern Verifier in Two-Tier Programming Environment
SN - 0-7695-2216-5
SP1081
EP1086
A1 - Jie Yuan,
A1 - Huaikou Miao,
A1 - Liang Cai,
PY - 2004
KW - Design pattern
KW - Automatic verification of program
KW - Formalization
KW - Two-tier Programming
VL - 0
JA - Computer and Information Technology, International Conference on
ER -
 
Jie Yuan, Shanghai University
Huaikou Miao, Shanghai University
Liang Cai, Shanghai University
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 will provide 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.
Index Terms:
Design pattern, Automatic verification of program, Formalization, Two-tier Programming
Citation:
Jie Yuan, Huaikou Miao, Liang Cai, "A Design Pattern Verifier in Two-Tier Programming Environment," cit, pp.1081-1086, Fourth International Conference on Computer and Information Technology (CIT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.