Inductive verification of data model invariants for web applications.
Ivan BocicTevfik BultanPublished in: ICSE (2014)
Keyphrases
- web applications
- data model
- application development
- data integration
- query language
- application developers
- database systems
- web browser
- web services
- web application development
- end users
- data types
- database management systems
- object oriented
- semi structured
- model checking
- databases
- database design
- database
- data sources
- schema evolution
- flow diagram
- web development
- mashup
- knowledge representation
- asynchronous circuits
- xml documents
- business applications
- petri net
- dynamic content
- website