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 条
  • [21] Service network design models for two-tier city logistics
    Crainic, Teodor Gabriel
    Sgalambro, Antonino
    [J]. OPTIMIZATION LETTERS, 2014, 8 (04) : 1375 - 1387
  • [22] Service network design models for two-tier city logistics
    Teodor Gabriel Crainic
    Antonino Sgalambro
    [J]. Optimization Letters, 2014, 8 : 1375 - 1387
  • [23] Chumcast in two-tier networks
    Kang, SS
    Mutka, MW
    [J]. INFORMATION NETWORKING: NETWORKING TECHNOLOGIES FOR BROADBAND AND MOBILE NETWORKS, 2004, 3090 : 124 - 133
  • [24] Two-tier relaxed heaps
    Elmasry, Amr
    Jensen, Claus
    Katajainen, Jyrki
    [J]. ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2006, 4288 : 308 - +
  • [25] Data Offloading in Two-tier Networks: A Contract Design Approach
    Zhou, Zilong
    Feng, Xinxin
    Gan, Xiaoying
    Yang, Feng
    Tian, Xiaohua
    Wang, Xinbing
    [J]. 2014 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM 2014), 2014, : 4531 - 4536
  • [26] Two-tier economy 'harmful'
    不详
    [J]. PROFESSIONAL ENGINEERING, 2003, 16 (08) : 11 - 11
  • [27] "Priority of Liberty" and the Design of a Two-Tier Health Care System
    Breyer, Friedrich
    Kliemt, Hartmut
    [J]. JOURNAL OF MEDICINE AND PHILOSOPHY, 2015, 40 (02): : 137 - 151
  • [28] Connectivity of Two-Tier Networks
    Zhou, Qing
    Gao, Long
    Cui, Shuguang
    [J]. 2010 IEEE GLOBECOM WORKSHOPS, 2010, : 368 - 372
  • [29] Two-tier relaxed heaps
    Elmasry, Amr
    Jensen, Claus
    Katajainen, Jyrki
    [J]. ACTA INFORMATICA, 2008, 45 (03) : 193 - 210
  • [30] Two-tier dental system
    C. A. Yeung
    [J]. British Dental Journal, 2020, 229 : 568 - 568
12345