Reverse-engineering Cobol via formal methods.
Kevin LanoPeter T. BreuerHoward P. HaughtonPublished in: J. Softw. Maintenance Res. Pract. (1993)
Keyphrases
- reverse engineering
- formal methods
- formal specification
- software engineering
- process algebra
- object oriented
- formal analysis
- dynamic analysis
- software maintenance
- safety critical
- gene regulatory networks
- business rules
- conceptual schema
- concurrent systems
- reverse engineer
- software evolution
- computer aided design
- program understanding
- programming language
- software engineers
- software testing
- high level
- security properties
- legacy systems
- description language
- building blocks
- source code
- formal specification language