Taming Interface Specifications.

Tiziana Margaria A. Prasad Sistla Bernhard Steffen Lenore D. Zuck

Published in: CONCUR (2005)

Keyphrases

user interface
formal specification
user friendly
control flow
genetic algorithm
search engine
visual interface
data sets
databases
multiscale
end users
specification language
direct manipulation
friendly interface
computer interface