As the demands for modernized legacy systems rise, so does the need for
frameworks for information integration and tool interoperability. The Object Management
Group (OMG) has adopted the Model Driven Architecture (MDA), which is an evolving
conceptual architecture that aligns with this demand. MDA could help solve coupling
problems of multidisciplinary character in science and engineering that consist of one or more
applications, supported by one or more platforms. The objective of this paper is to describe
rigorous techniques to control the evolution from science & engineering software legacy
systems to MDA technologies. We propose a rigorous framework to reverse engineering code
in the context of MDA. Considering that validation, verification and consistency are crucial
activities in the modernization of systems that are critical to safety, security and economic
profits, our approach emphasizes the integration of MDA with formal methods