Using Informal and Formal Techniques for the Reverse Engineering of C Programs.
Gerald C. GannodBetty H. C. ChengPublished in: WCRE (1996)
Keyphrases
- reverse engineering
- formal specification
- software engineering
- program slicing
- software maintenance
- program understanding
- software evolution
- gene regulatory networks
- object oriented
- business rules
- computer aided design
- dynamic analysis
- informal learning
- conceptual schema
- genetic regulatory networks
- software engineers
- software product
- legacy systems
- reverse engineer
- formal and informal learning
- business processes
- data sets