| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9657422 | Science of Computer Programming | 2005 | 35 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Niels Veerman,