Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.
João Carlos SilvaJosé Creissac CamposJoão SaraivaPublished in: DSV-IS (2006)
Keyphrases
- reverse engineering
- formal methods
- formal specification
- software engineering
- product configuration
- formal analysis
- software maintenance
- object oriented
- dynamic analysis
- safety critical
- gene regulatory networks
- process algebra
- conceptual schema
- artificial intelligence
- program understanding
- model checking
- business rules
- software evolution
- software systems
- reverse engineer
- legacy software systems
- computer aided design
- development process
- software engineers
- software architecture
- fine grained
- development lifecycle
- knowledge based systems
- knowledge representation