A system for specification and verification of interactive, data-driven web applications.
Alin DeutschLiying SuiVictor VianuDayou ZhouPublished in: SIGMOD Conference (2006)
Keyphrases
- web applications
- data driven
- application development
- web browser
- asynchronous circuits
- end users
- web services
- dynamic content
- formal methods
- application developers
- user friendly
- rich internet applications
- model checking
- mashup
- web application development
- web development
- business applications
- formal specification
- high level
- concurrent systems
- case study
- knowledge base