Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering.
Gerald C. GannodBetty H. C. ChengPublished in: WCRE (1995)
Keyphrases
- reverse engineering
- conceptual schema
- formal specification
- software engineering
- software maintenance
- object oriented
- model theoretic
- dynamic analysis
- reverse engineer
- legacy systems
- formal semantics
- gene regulatory networks
- mathematical theory
- software evolution
- operational semantics
- software product
- logic programming
- computer aided design
- formal language
- program understanding
- software engineers
- highly expressive