Reverse Engineering from Assembler to Formal Specifications via Program Transformations
Martin P. WardPublished in: CoRR (2001)
Keyphrases
- reverse engineering
- formal specification
- program understanding
- dynamic analysis
- software engineering
- program slicing
- specification languages
- object oriented design
- program comprehension
- specification language
- software maintenance
- object oriented
- reverse engineer
- business rules
- gene regulatory networks
- conceptual schema
- databases
- database
- concurrent systems
- software engineers
- formal methods
- design methodology
- legacy systems
- database design
- test cases
- database systems
- information systems
- artificial intelligence