Reverse Engineering Concurrent Programs using Formal Modelling and Analysis.

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

Published in: ICSM (1996)

Keyphrases

reverse engineering
dynamic analysis
software engineering
software maintenance
genetic regulatory networks
formal specification
artificial intelligence
information systems
query language
static analysis
process algebra
concurrent programs