A two-phase approach to reverse engineering using formal methods

This publication has 10 references indexed in Scilit:

• A software re-engineering process model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Abstraction of formal specifications from program code
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Identifying objects in a conventional procedural language: an example of data design recovery
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• USING AUTOMATED REASONING TECHNIQUES TO DETERMINE SOFTWARE REUSE
  International Journal of Software Engineering and Knowledge Engineering, 1992
• Object-oriented and conventional analysis and design methodologies
  Computer, 1992
• Integrating formal methods into the development process
  IEEE Software, 1990
• Seven myths of formal methods
  IEEE Software, 1990
• From Programs to Z Specifications
  Published by Springer Nature ,1990
• Reverse engineering and design recovery: a taxonomy
  IEEE Software, 1990
• The Science of Programming
  Published by Springer Nature ,1981