Generating Validation Feedback for Automatic Interpretation of Informal Requirements.

Walling R. Cyre Aniruddha R. Thakar

Published in: Formal Methods Syst. Des. (1997)

Keyphrases

high level
real time systems
real time
fully automatic
website
data structure
image analysis
user feedback
image interpretation
generation process