An approach for specification construction using property-preserving refinement patterns.

Junhua Ding Lian Mo Xudong He

Published in: SAC (2008)

Keyphrases

pattern discovery
construction process
high level
frequent patterns
pattern analysis
real time
search engine
database systems
data structure
pattern mining
desirable properties
specification language
spatial patterns
similar patterns