Automatic verification of Java']Java design patterns

被引：11
|
作者：
Blewitt, A [1 ]
Bundy, A [1 ]
Stark, I [1 ]
机构：
[1] Univ Edinburgh, Div Informat, Edinburgh EH1 1HN, Midlothian, Scotland
来源：
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS | 2001年
关键词：
D O I：
10.1109/ASE.2001.989821
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Design patterns are widely used by object oriented designers and developers for building complex systems in object oriented programming,languages, such as Java. However, systems evolve over time, increasing the chance that the pattern in its original form will be broken. We attempt to show that many design patterns (implemented in Java) can be verified automatically. Patterns are, defined in terms of variants,. mini-patterns, and artifacts in a pattern description language called SPINE. These specifications are then processed by Hedgehog, an automated proof tool that attempts to prove that Java source code meets these specifications.
引用
收藏
页码：324 / 327
页数：4
相关论文
共 50 条
  • [1] Automatic verification of Java']Java programs with dynamic frames
    Smans, Jan
    Jacobs, Bart
    Piessens, Frank
    Schulte, Wolfram
    [J]. FORMAL ASPECTS OF COMPUTING, 2010, 22 (3-4) : 423 - 457
  • [2] Design patterns, Java']Java, and Web development
    Remy, M
    [J]. DR DOBBS JOURNAL, 1997, 22 (06): : 28 - +
  • [3] Elemental design patterns recognition in Java']Java
    Arcelli, Francesca
    Masiero, Stefano
    Raibulet, Claudia
    [J]. 13TH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS, 2006, : 196 - +
  • [4] Design, verification, and testing of synchronization and communication protocols with Java']Java
    Stiles, GS
    Rice, DD
    Doupnik, JR
    [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1810 - 1819
  • [5] Automatic validation of transformation rules for Java']Java verification against a rewriting semantics
    Ahrendt, W
    Roth, A
    Sasse, R
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 412 - 426
  • [6] Automatic Verification of C and Java']Java Programs: SV-COMP 2019
    Beyer, Dirk
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 133 - 155
  • [7] Affection of Java']Java Design Patterns to Cohesion Metrics
    Zykov, Sergey
    Alexandrov, Dmitry
    Ismoilov, Maqsudjon
    Savachenko, Anton
    Kozlov, Artem
    [J]. INTELLIGENT DECISION TECHNOLOGIES, KES-IDT 2021, 2021, 238 : 333 - 342
  • [8] Java']Java bytecode verification
    Nipkow, T
    [J]. JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
  • [9] Digital Kaleidoscope Patterns Design Based on Java']Java Language
    Tang, Ning
    Su, Jianxia
    Zhao, Li
    [J]. PROCEEDINGS OF THE 2015 3RD INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND INFORMATION TECHNOLOGY APPLICATIONS, 2015, 35 : 766 - 769
  • [10] Design patterns - Essentials, experience, Java']Java case study
    Pree, W
    Sikora, H
    [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 534 - 535
12345