A Two-Phase Approach to Reverse Engineering Using Formal Methods.
Gerald C. GannodBetty H. C. ChengPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- software development
- reverse engineering
- formal methods
- software engineering
- formal specification
- software systems
- artificial intelligence
- software maintenance
- formal analysis
- dynamic analysis
- development process
- software engineers
- software architecture
- business rules
- object oriented
- safety critical
- software testing
- program understanding
- gene regulatory networks
- computer aided design
- conceptual schema
- process algebra
- software evolution
- knowledge based systems
- security properties
- databases
- reverse engineer