Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.

E. J. Younger Z. Luo Keith H. Bennett Tim M. Bull

Published in: WCRE (1996)

Keyphrases

reverse engineering
dynamic analysis
software engineering
software maintenance
case study
database systems
relational databases
database