Formalization in Software Reengineering
Zhongsheng Qian, Yong Yang, Zhongyu Chen · International Review on Computers and Software (IRECOS) · 2013
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.