eprintid: 2481
rev_number: 8
eprint_status: archive
userid: 252
dir: disk0/00/00/24/81
datestamp: 2017-06-10 11:39:14
lastmod: 2017-06-10 11:39:14
status_changed: 2017-06-10 11:39:14
type: article
metadata_visibility: show
creators_name: Le, Hong Anh
creators_name: Dao, Thi Huong
creators_name: Truong, Ninh Thuan
creators_id: anhfit@gmail.com
creators_id: thuantn@vnu.edu.vn
title: A formal approach to checking consistency in software refactoring
ispublished: pub
subjects: IT
subjects: isi
divisions: fac_fit
abstract: In software development, refactoring is a process that improves the system internal structure without altering its external behavior. Applying design patterns, which are common reusable solutions of several kinds of problems is widely adopted. This technique, however, raises a challenging issue that after applying design patterns the software system may not preserve some certain behavioral properties. This paper proposes a new approach to checking consistency between original software system and its evolution at both design and implementation phases. First, we formalize elements of software designs and programs. Methods, based on these formalizations, are proposed for verifying the design and implementation of the system. Finally, the paper presents a case study of Adaptive Road Traffic Control system to illustrate the proposed approach in detail.
date: 2017-04
date_type: published
publisher: Springer
full_text_status: public
publication: Mobile networks and Applications
volume: 22
number: 2
pagerange: 356-366
refereed: TRUE
issn: 1383-469X
funders: Nafosted
citation:   Le, Hong Anh and Dao, Thi Huong and Truong, Ninh Thuan  (2017) A formal approach to checking consistency in software refactoring.  Mobile networks and Applications, 22  (2).   pp. 356-366.  ISSN 1383-469X     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2481/1/MainText%20-%20Full.pdf