A Verifier for Interactive, Data-Driven Web Applications.

Alin Deutsch Monica Marcus Liying Sui Victor Vianu Dayou Zhou

Published in: SIGMOD Conference (2005)

Keyphrases

web applications
data driven
application development
web browser
web services
application developers
end users
mashup
model driven
web crawlers
rich internet applications
web application development
flow diagram
website
case study
software engineering