jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

被引：0
|
作者：
Murat Karaorman
Parker Abercrombie
机构：
[1] Texas Instruments,College of Creative Studies
[2] Inc.,undefined
[3] University of California,undefined
来源：
Formal Methods in System Design | 2005年 / 27卷
关键词：
jContractor; Design by Contract; Java; bytecode instrumentation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Design by Contract is a software engineering practice that allows semantic information to be added to a class or interface to precisely specify the conditions that are required for its correct operation. The basic constructs of Design by Contract are method preconditions and postconditions, and class invariants.
引用
收藏
页码：275 / 312
页数：37
相关论文
共 8 条
  • [1] jContractor: Introducing Design-by-Contract to Java']Java using reflective bytecode instrumentation
    Karaorman, M
    Abercrombie, P
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2005, 27 (03) : 275 - 312
  • [2] zContractTBUsing marker library and bytecode instrumentation to support design by contract in Java']Java
    Cheng, Yu Chin
    Chen, Chien-Tsun
    Hsieh, Chin-Yun
    [J]. 14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 502 - +
  • [3] Game Development using Design-by-Contract
    Paige, Richard F.
    Attridge, Triston S.
    Brooke, Phillip J.
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2006, 5 (07): : 57 - 73
  • [4] Selective profiling of Java']Java applications using dynamic bytecode instrumentation
    Dmitriev, M
    [J]. ISPASS: 2004 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2004, : 141 - 150
  • [5] Dynamic instrumentation of distributed Java']Java applications using bytecode modifications
    Funika, Wlodzimierz
    Swierszcz, Pawel
    [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 2, PROCEEDINGS, 2006, 3992 : 534 - 541
  • [6] Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java']Java Applications
    Sharaf, Mohamed
    Huang, Jie
    Huang, Chin-Tser
    [J]. 2013 33RD IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW 2013), 2013, : 362 - 367
  • [7] Runtime Input Validation for Java']Java Web Applications using Static Bytecode Instrumentation
    Cho, Sangwook
    Kim, Gyoosik
    Cho, Seong-je
    Choi, Jongmoo
    Park, Minkyu
    Han, Sangchul
    [J]. 2016 RESEARCH IN ADAPTIVE AND CONVERGENT SYSTEMS, 2016, : 148 - 152
  • [8] Cross-Organizational Business Processes Modeling Using Design-by-Contract Approach
    Khalfallah, Malik
    Figay, Nicolas
    Ghodous, Parisa
    Da Silva, Catarina Ferreira
    [J]. ENTERPRISE INTEROPERABILITY, IWEI 2013, 2013, 144 : 77 - 90
1