An Experience on Verification of Aspect Properties.

Giovanni Denaro Mattia Monga

Published in: IWPSE (2001)

Keyphrases

model checking
information retrieval
genetic algorithm
learning algorithm
social networks
knowledge base
image processing
database systems
feature extraction
information technology
structural properties