Efficient analysis of pattern-based constraint specifications.

Michael Wahler David A. Basin Achim D. Brucker Jana Koehler

Published in: Softw. Syst. Model. (2010)

Keyphrases

quantitative analysis
data analysis
real time
neural network
clustering algorithm
case study
statistical analysis
formal specification
constraint networks
complexity analysis