Static consistency checking of web applications with WebDSL.
Zef HemelDanny M. GroenewegenLennart C. L. KatsEelco VisserPublished in: J. Symb. Comput. (2011)
Keyphrases
- web applications
- consistency checking
- application development
- application developers
- query answering
- web services
- end users
- temporal constraints
- web application development
- temporal reasoning
- constraint satisfaction problems
- web browser
- data sets
- object oriented
- decision making
- constraint programming
- data exchange
- software engineering
- knowledge representation
- web development
- database