Extracting Behavior Specification of Components in Legacy Applications.

Tomás Poch Frantisek Plasil

Published in: CBSE (2009)

Keyphrases

case study
high level
building blocks
human behavior
database
image sequences
real time
multi agent
software components
formal specification
dynamic behavior
behavior patterns