A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods.
Gerald C. GannodBetty H. C. ChengPublished in: IWPC (2001)
Keyphrases
- formal methods
- reverse engineering
- formal specification
- software engineering
- program understanding
- reverse engineer
- formal analysis
- process algebra
- software maintenance
- dynamic analysis
- object oriented
- safety critical
- model checking
- artificial intelligence
- knowledge based systems
- software evolution
- legacy systems
- software engineers
- gene regulatory networks
- software systems
- tool suite
- software testing
- conceptual schema
- software development
- databases