Reverse Engineering from Assembler to Formal Specifications via Program Transformations.
Martin P. WardPublished in: WCRE (2000)
Keyphrases
- reverse engineering
- formal specification
- program understanding
- dynamic analysis
- specification languages
- object oriented
- program slicing
- software engineering
- software maintenance
- object oriented design
- program comprehension
- specification language
- formal methods
- gene regulatory networks
- conceptual schema
- concurrent systems
- software engineers
- legacy systems
- formal specification language
- design methodology
- relational databases
- business rules
- programming language
- information systems
- machine learning