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 条
  • [31] Optimisation of the Two-Tier Distribution System in Omni-Channel Environment
    Sawicki, Piotr
    Sawicka, Hanna
    [J]. ENERGIES, 2021, 14 (22)
  • [32] A Fault-tolerant Two-tier Pattern Of Secure Access 'Connecting Node'
    Kolomoitcev, Vladimir S.
    Bogatyrev, Vladimir A.
    [J]. PROCEEDINGS OF THE IV INTERNATIONAL RESEARCH CONFERENCE INFORMATION TECHNOLOGIES IN SCIENCE, MANAGEMENT, SOCIAL SPHERE AND MEDICINE (ITSMSSM 2017), 2017, 72 : 271 - 274
  • [33] Two-tier Approach for the Design of Multiple Power Oscillation Damping Controllers
    Kdlemba, Lester
    Uhlen, Kjetil
    Hovd, Morten
    [J]. 2016 IEEE INTERNATIONAL ENERGY CONFERENCE (ENERGYCON), 2016,
  • [34] Design and validation of a two-tier questionnaire on basic aspects in quantum mechanics
    di Uccio, Umberto Scotti
    Colantonio, Arturo
    Galano, Silvia
    Marzoli, Irene
    Trani, Fabio
    Testa, Italo
    [J]. PHYSICAL REVIEW PHYSICS EDUCATION RESEARCH, 2019, 15 (01):
  • [35] A Design of Two-tier SaaS Architecture Based on Group-tenant
    Yuan, Hao
    Liu, Xiaoping
    Guo, Chunhui
    [J]. PROCEEDINGS OF 2012 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2012), 2012, : 340 - 344
  • [36] Two-Tier genetic programming: towards raw pixel-based image classification
    Al-Sahaf, Harith
    Song, Andy
    Neshatian, Kourosh
    Zhang, Mengjie
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (16) : 12291 - 12301
  • [37] Two-tier price membership mechanism design based on user profiles
    Hu, Li
    Zhang, Yajie
    Chung, Sai-Ho
    Wang, Lei
    [J]. ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, 2022, 52
  • [38] Spectrum Allocation in Two-Tier Networks
    Chandrasekhar, Vikram
    Andrews, Jeffrey G.
    [J]. 2008 42ND ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS, VOLS 1-4, 2008, : 1583 - 1587
  • [39] Towards Two-Tier Citizen Sensing
    Borges, Julio
    Budde, Matthias
    Peters, Oleg
    Riedel, Till
    Beigl, Michael
    [J]. IEEE SECOND INTERNATIONAL SMART CITIES CONFERENCE (ISC2 2016), 2016, : 226 - 229
  • [40] Improving Location Estimation with Two-Tier Particle Filtering in Mobile Wireless Environment
    Sung, Kwangjae
    Lee, Suk Kyu
    Kim, Hwangnam
    [J]. 2011 20TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN), 2011,
12345