Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications.
Sören BlomMatthias BookVolker GruhnPublished in: ICWE (2008)
Keyphrases
- web applications
- attribute grammars
- control flow
- formal specification
- process algebra
- application development
- concurrent systems
- web browser
- end users
- application developers
- web application development
- web services
- user interface
- component based software
- database
- dynamic content
- mashup
- model checking
- asynchronous circuits
- web development
- web crawlers
- business applications
- reverse engineering
- programming language