A method for data re-engineering in structured programs

This publication has 9 references indexed in Scilit:

• Stepwise refinement and verification in box-structured systems
  Computer, 1988
• Software maintenance as an engineering discipline
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Box structured information systems
  IBM Systems Journal, 1987
• Structured Programming: Retrospect and Prospect
  IEEE Software, 1986
• Data Flow Anomaly Detection
  IEEE Transactions on Software Engineering, 1984
• Automatic Program Improvement: Variable Usage Transformations
  ACM Transactions on Programming Languages and Systems, 1983
• Applying software complexity metrics to program maintenance
  Computer, 1982
• Data Flow Analysis in Software Reliability
  ACM Computing Surveys, 1976
• Global Data Flow Analysis and Iterative Algorithms
  Journal of the ACM, 1976