Model-Based Specification Animation Using Testgraphs.

Tim Miller Paul A. Strooper

Published in: ICFEM (2002)

Keyphrases

high level
data driven
formal specification
specification language
database
data sets
search algorithm
model free
neural network
computer graphics
computer animation