An Assume Guarantee Verification Methodology for Aspect-Oriented Programming.

Mustafa Ispir Aysu Betin Can

Published in: ASE (2008)

Keyphrases

aspect oriented programming
aspect oriented
cross cutting concerns
case study
model checking
signature verification
database
real world
machine learning
training data
maximum likelihood
black box
face verification
software product line
verification method