Algebraic Framework for Reverse Engineering on Specifications.

Isabel Cafezeiro Edward Hermann Haeusler

Published in: LAPTEC (2007)

Keyphrases

reverse engineering
software engineering
software evolution
formal specification
high level
data model
probabilistic model
object oriented
software architecture
gene regulatory networks
computer aided design
dynamic analysis
conceptual schema
legacy systems
program understanding