Reverse-engineering cobol via formal methods
- 1 January 1993
- journal article
- research article
- Published by Wiley in Journal of Software Maintenance: Research and Practice
- Vol. 5 (1) , 13-35
- https://doi.org/10.1002/smr.4360050103
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The Maintainer's Assistant (software tool)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Creating specifications from code: Reverse-engineering techniquesJournal of Software Maintenance: Research and Practice, 1991
- Restructuring for styleSoftware: Practice and Experience, 1990
- Program translation via abstraction and reimplementationIEEE Transactions on Software Engineering, 1988