Enhancing the Alloy Analyzer with Patterns of Analysis

William Heaven Alessandra Russo

Published in: CoRR (2005)

Keyphrases

information retrieval
data mining techniques
neural network
case study
objective function
statistical analysis
frequent patterns
quantitative analysis