Refactoring Towards a Layered Architecture

被引：2
|
作者：
Cornelio, Marcio [1 ]
Cavalcanti, Ana [2 ]
Sampaio, Augusto [3 ]
机构：
[1] Univ Pernambuco, Escola Politecn, Dept Sistemas Computac, Recife, PE, Brazil
[2] Univ York, Dept Comp Sci, York, N Yorkshire, England
[3] Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 130卷
关键词：
Refactoring; Formal Refinement; Refinement Calculus;
D O I：
10.1016/j.entcs.2005.03.015
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we present how refactoring of object-oriented programs can be accomplished by using formal refinement. Our approach is based on the use of refactoring rules designed for a sequential object-oriented language of refinement (rool) similar to Java. We define a strategy that aims at structuring programs according to a layered architecture that involves the application of refactoring rules, object-oriented programming laws, and data and algorithm refinement. As the laws are proved in a weakest precondition semantics of rool, correctness of refactoring is ensured by construction.
引用
收藏
页码：281 / 300
页数：20
相关论文
共 50 条
  • [1] Towards an Extensible Architecture for Refactoring Test Code
    Marinke, Rogerio
    Guerra, Eduardo Martins
    Silveira, Fabio Fagundes
    Azevedo, Rafael Monico
    Nascimento, Wagner
    de Almeida, Rodrigo Simoes
    Demboscki, Bruno Rodrigues
    da Silva, Tiago Silva
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2019, PT IV, 2019, 11622 : 456 - 471
  • [2] Towards Refactoring FRETish Requirements
    Farrell, Marie
    Luckcuck, Matt
    Sheridan, Oisin
    Monahan, Rosemary
    NASA FORMAL METHODS (NFM 2022), 2022, 13260 : 272 - 279
  • [3] The Impact of Refactoring on Class and Architecture Stability
    Alshayeb, Mohammad
    JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2011, 43 (04): : 269 - 284
  • [4] Towards a Live Environment for Code Refactoring
    Fernandes, Sara
    PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
  • [5] Towards a language independent refactoring framework
    Lopez, Carlos
    Marticorena, Raul
    Crespo, Yania
    Perez, Francisco Javier
    ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2006, : 165 - 170
  • [6] Towards Specification-Guarded Refactoring
    Barwell, Adam D.
    Brown, Christopher
    Sarkar, Susmit
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2024, 2024, 14919 : 147 - 163
  • [7] Evaluating alternatives for architecture-oriented refactoring
    Wohfarth, Sven
    Riebisch, Matthias
    13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 73 - +
  • [8] Towards Just-In-Time Rational Refactoring
    Pantiuchina, Jevgenija
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 180 - 181
  • [9] Towards on Appropriate Software Refactoring Tool Support
    Katic, Marija
    Fertalj, Kresimir
    ACS'09: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE, 2009, : 140 - 145
  • [10] Towards Just-In-Time Refactoring Recommenders
    Pantiuchina, Jevgenija
    Bavota, Gabriele
    Tufano, Michele
    Poshyvanyk, Denys
    2018 IEEE/ACM 26TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2018), 2018, : 312 - 315
12345