The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Handbook of logic in computer science (vol. 2)
Handbook of logic in computer science (vol. 4)
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Identifying procedural structure in Cobol programs
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Introduction to Process Algebra
Introduction to Process Algebra
Semi-automatic grammar recovery
Software—Practice & Experience
Towards automated modification of legacy assets
Annals of Software Engineering
Transformations to Restructure and Re–engineer COBOL Programs
Automated Software Engineering
Cracking the 500-Language Problem
IEEE Software
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Restructuring of COBOL/CICS legacy systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Code migration through transformations: an experience report
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Assembler to C Migration Using the FermaT Transformation System
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Beauty and the Beast or A Formal Semantic Description of the ControlConstructs of Cobol and its Implementation
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Architectural modifications to deployed software
Science of Computer Programming
Revitalizing modifiability of legacy assets: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Seventh European Conference on Software Maintenance and Reengineering (CSMR 2003)
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated mass maintenance of a software portfolio
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
ATerms for manipulation and exchange of structured data: It's all about sharing
Information and Software Technology
Goto elimination in program algebra
Science of Computer Programming
Automated generation of program translation and verification tools using annotated grammars
Science of Computer Programming
Hi-index | 0.00 |
We propose a lightweight, practical approach to check mass maintenance transformations. We present checks for both transformation tools and transformed source code, and illustrate them using examples of real-world transformations. Our approach is not a fully fledged, formal one but provides circumstantial evidence for transformation correctness, and has been applied to the mass maintenance of industrial Cobol systems.