Data Model Property Inference, Verification, and Repair for Web Applications.
Jaideep NijjarIvan BocicTevfik BultanPublished in: ACM Trans. Softw. Eng. Methodol. (2015)
Keyphrases
- web applications
- data model
- application development
- end users
- web services
- object oriented
- data integration
- database systems
- application developers
- web browser
- web application development
- data sources
- model checking
- databases
- flow diagram
- data types
- xml documents
- database design
- mashup
- formal methods
- dynamic content
- web crawlers
- database