Formalization in Software Reengineering

(*) Corresponding author

Authors' affiliations

DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)


This work summarizes the role and current applied status of formal methods in software reengineering after reviewing their fundamentals. And then it gives a structural analysis from program to the corresponding formal specification in the implementation of software reengineering. Finally, it concludes and highlights the future work.
Copyright © 2013 Praise Worthy Prize - All rights reserved.


Formal Method; Software Reengineering; Specification

Full Text:



S. A. M. Rizvi, S. Ahamad. Legacy Code Components Based Estimation Modeling [J]. International Review on Computers and Software (IRECOS), 2008, 3(2): 145-147.

Elliot J Chikofsky, James H Cross. Reverse Engineering and Design Recovery: A Taxonomy [J]. IEEE Software, 1990(7):13-17.

ZHOU Hua, LI Shaoyun, DUAN Qing, et al. Software Reengineering with Formal Method [J]. Computer Engineering and Applications, 2003: 84-86.

X.Liu, H.Yang, H.Zedan. Formal Methods for the Re-engineering of Computing Systems-a Comparison [J]. Software Technology Research Laboratory, De Montfort University, England, 1997: 409-414.

Betty H Cheng, Gerald C Gannod. Abstraction of Formal Specifications from Program Code [A]. Proceedings of the 3rd Annual International Conference on Tools with Artificial Intelligence [C]. 1991.

HE Lili, HU Chengquan, QI Hong, et al. Using Formal and Informal Techniques for Reverse Engineering of VB Program [J]. Journal of Jilin University (Information Science Edition), 2003, 21(4): 387-392.

GAO Huaiyan, LIAO Hongzhi, ZHOU Hua. Software Reengineering Assistant [J]. Computer Engineering and Applications, 2004(6): 96-100.

Cheng B H. Applying Formal Methods in Automated Software Engineering [J]. Journal of Computer and Software Engineering, 1994, 2(2):137-164.

Gerald C Gannod, Betty H Cheng. A formal Approach for Reverse Engineering: A Case Study [A]. Proceedings of the 6th Working Conference on Reverse Engineering (WCRE'99) [C]. Atlanta Georgia: IEEE Computer Society Press, 1999.

Fateh Boutekkouk, Mohammed Benmohammed. Control/Data Driven Embedded Systems high level Modeling, Formal verification and Simulation [J]. International Review on Computers and Software (IRECOS), 2009, 4(1): 58-67.

Samaneh Vaez Dalili, Sayed Mehran Sharafi, Bahman Zamani. A New Model-Based Test Technique Using Formal Specification of Software Architectures [J]. International Review on Computers and Software (IRECOS), 2012, 7(1): 31-39.


  • There are currently no refbacks.

Please send any question about this web site to
Copyright © 2005-2024 Praise Worthy Prize