A transformation system for maintenance-turning theory into practice

This publication has 10 references indexed in Scilit:

• The Maintainer's Assistant (software tool)
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The supporting environment for a reverse engineering system-the Maintainer's Assistant
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An introduction to the WSL program transformer
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal program construction by transformations-computer-aided, intuition-guided programming
  IEEE Transactions on Software Engineering, 1989
• A knowledge-based system for software maintenance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• A 15 Year Perspective on Automatic Programming
  IEEE Transactions on Software Engineering, 1985
• Program Transformation Systems
  ACM Computing Surveys, 1983
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• A Complexity Measure
  IEEE Transactions on Software Engineering, 1976
• Program development by stepwise refinement
  Communications of the ACM, 1971