Java Implementation Verification Using Reverse Engineering.
David J. A. CooperBenjamin KhooBrian R. von KonskyMike RobeyPublished in: ACSC (2004)
Keyphrases
- reverse engineering
- object oriented
- platform independent
- software engineering
- dynamic analysis
- software maintenance
- java bytecode
- reverse engineer
- java virtual machine
- computer aided design
- business rules
- legacy systems
- programming language
- program understanding
- software evolution
- program comprehension
- gene regulatory networks
- software engineers
- artificial intelligence
- formal specification
- model checking
- database applications
- high level
- information systems