A design pattern verifier in two-tier programming environment

被引：0
|
作者：
Yuan, J [1 ]
Miao, HK [1 ]
Cai, L [1 ]
机构：
[1] Shanghai Univ, Sch Engn & Comp Sci, Shanghai, Peoples R China
来源：
FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS | 2004年
关键词：
design pattern; automatic verification of program; formalization; two-tier programming;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：1081 / 1086
页数：6
相关论文
共 50 条
  • [1] Coordinating software evolution via two-tier programming
    Eden, AH
    Jahnke, J
    [J]. COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2002, 2315 : 149 - 157
  • [2] A two-tier NHS in a two-tier world - time for change
    Jackson, G
    [J]. INTERNATIONAL JOURNAL OF CLINICAL PRACTICE, 2003, 57 (04) : 255 - 255
  • [3] Design and analysis of a two-tier stretcher frame
    Barakathulla, Amjath M. M.
    Ang, Hua Qian
    [J]. INTERNATIONAL JOURNAL OF SUSTAINABLE AVIATION, 2023, 9 (02) : 132 - +
  • [4] A two-tier distributed electronic design framework
    Kazmierski, T
    Clayton, N
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 227 - 231
  • [5] Extracting Image Features for Classification By Two-Tier Genetic Programming
    Al-Sahaf, Harith
    Song, Andy
    Neshatian, Kourosh
    Zhang, Mengjie
    [J]. 2012 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2012,
  • [6] Round-trip engineering with the Two-Tier Programming Toolkit
    Eden, A. H.
    Gasparis, E.
    Nicholson, J.
    Kazman, R.
    [J]. SOFTWARE QUALITY JOURNAL, 2018, 26 (02) : 249 - 271
  • [7] Round-trip engineering with the Two-Tier Programming Toolkit
    A.H. Eden
    E. Gasparis
    J. Nicholson
    R. Kazman
    [J]. Software Quality Journal, 2018, 26 : 249 - 271
  • [8] Optimal Power Control in Two-Tier Networks with DC Programming
    Demir, Uygar
    Toker, Cenk
    Inaltekin, Hazer
    [J]. 2014 22ND SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE (SIU), 2014, : 999 - 1002
  • [9] Two-tier science
    Baxter, J
    [J]. CHEMISTRY & INDUSTRY, 1996, (14) : 522 - 522
  • [10] Two-tier fees
    Moore, G
    [J]. PROFESSIONAL ENGINEERING, 2000, 13 (16) : 18 - 18
12345