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