Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering

This publication has 15 references indexed in Scilit:

• A two-phase approach to reverse engineering using formal methods
  Published by Springer Nature ,2005
• A software re-engineering process model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A conceptual foundation for software re-engineering
  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
• FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS
  International Journal of Software Engineering and Knowledge Engineering, 1994
• USING AUTOMATED REASONING TECHNIQUES TO DETERMINE SOFTWARE REUSE
  International Journal of Software Engineering and Knowledge Engineering, 1992
• Predicate Calculus and Program Semantics
  Published by Springer Nature ,1990
• Reverse engineering and design recovery: a taxonomy
  IEEE Software, 1990
• The Science of Programming
  Published by Springer Nature ,1981
• An axiomatic basis for computer programming
  Communications of the ACM, 1969