Verifying aspect advice modularly.

Shriram Krishnamurthi Kathi Fisler Michael Greenberg

Published in: SIGSOFT FSE (2004)

Keyphrases

model checking
real time
data mining
machine learning
image processing
website
web services
decision trees
multi agent
pattern recognition