Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
An Approach for Refactoring using ESC/Java2 — A Simple Case Study —
View through CrossRef
Refactoring is a structural transformation technique for program code, which preserves their functional or behavioral aspects. Check whether the transformed program codes preserve such properties or not is a significant process. It carried out to support quality assurance. This paper introduces an alternative approach for the checking process via program verification. In this approach, ESC/Java2 tool is used for refactoring program codes in Java.
Title: An Approach for Refactoring using ESC/Java2 — A Simple Case Study —
Description:
Refactoring is a structural transformation technique for program code, which preserves their functional or behavioral aspects.
Check whether the transformed program codes preserve such properties or not is a significant process.
It carried out to support quality assurance.
This paper introduces an alternative approach for the checking process via program verification.
In this approach, ESC/Java2 tool is used for refactoring program codes in Java.
Related Results
L᾽«unilinguisme» officiel de Constantinople byzantine (VIIe-XIIe s.)
L᾽«unilinguisme» officiel de Constantinople byzantine (VIIe-XIIe s.)
<p>Νίκος Οικονομίδης</...
Cometary Physics Laboratory: spectrophotometric experiments
Cometary Physics Laboratory: spectrophotometric experiments
<p><strong><span dir="ltr" role="presentation">1. Introduction</span></strong&...
North Syrian Mortaria and Other Late Roman Personal and Utility Objects Bearing Inscriptions of Good Luck
North Syrian Mortaria and Other Late Roman Personal and Utility Objects Bearing Inscriptions of Good Luck
<span style="font-size: 11pt; color: black; font-family: 'Times New Roman','serif'">ΠΗΛΙΝΑ ΙΓ&Delta...
Morphometry of an hexagonal pit crater in Pavonis Mons, Mars
Morphometry of an hexagonal pit crater in Pavonis Mons, Mars
<p><strong>Introduction:</strong></p>
<p>Pit craters are peculiar depressions found in almost every terrestria...
Un manoscritto equivocato del copista santo Theophilos († 1548)
Un manoscritto equivocato del copista santo Theophilos († 1548)
<p><font size="3"><span class="A1"><span style="font-family: 'Times New Roman','serif'">ΕΝΑ ΛΑΝ&...
Ballistic landslides on comet 67P/Churyumov–Gerasimenko
Ballistic landslides on comet 67P/Churyumov–Gerasimenko
<p><strong>Introduction:</strong></p><p>The slow ejecta (i.e., with velocity lower than escape velocity) and l...
Stress transfer process in doublet events studied by numerical TREMOL simulations: Study case Ometepec 1982 Doublet.
Stress transfer process in doublet events studied by numerical TREMOL simulations: Study case Ometepec 1982 Doublet.
<pre class="western"><span><span lang="en-US">Earthquake doublets are a characteristic rupture <...
Effects of a new land surface parametrization scheme on thermal extremes in a Regional Climate Model
Effects of a new land surface parametrization scheme on thermal extremes in a Regional Climate Model
<p><span>The </span><span>EFRE project Big Data@Geo aims at providing high resolution </span><span&...