A case for alloy annotations for efficient incremental analysis via domain specific solvers.

Svetoslav R. Ganov Sarfraz Khurshid Dewayne E. Perry

Published in: ASE (2011)

Keyphrases

efficient incremental
domain specific
domain independent
data analysis
general purpose
quantitative analysis
database
data sets
information systems
metadata
database systems
search algorithm