A Formal Approach for Reverse Engineering: A Case Study.
Gerald C. GannodBetty H. C. ChengPublished in: WCRE (1999)
Keyphrases
- reverse engineering
- formal specification
- software engineering
- software maintenance
- dynamic analysis
- object oriented
- reverse engineer
- conceptual schema
- computer aided design
- software evolution
- case study
- program understanding
- gene regulatory networks
- business rules
- platform independent
- software product
- data sets
- model checking
- source code
- artificial intelligence
- genetic regulatory networks