Specification and Verification of Multi-user Data-Driven Web Applications.
Monica MarcusPublished in: WS-FM (2009)
Keyphrases
- web applications
- multi user
- data driven
- asynchronous circuits
- formal methods
- virtual environment
- application development
- model checking
- augmented reality
- multiple users
- virtual world
- user interface
- multi granularity
- end users
- web services
- web browser
- formal specification
- web application development
- single user
- application developers
- web development
- business applications
- mashup
- model driven
- dynamic content
- web crawlers
- artificial intelligence
- database systems
- website