Specification and verification of data-driven Web applications.
Alin DeutschLiying SuiVictor VianuPublished in: J. Comput. Syst. Sci. (2007)
Keyphrases
- web applications
- data driven
- formal verification
- asynchronous circuits
- formal methods
- model checking
- application development
- web services
- end users
- web application development
- web browser
- application developers
- concurrent systems
- formal specification
- process algebra
- model driven
- dynamic content
- business applications
- web crawlers
- data processing
- high level