Verification of Aspect-UML models using alloy.

Farida Mostefaoui Julie Vachon

Published in: AOM@AOSD (2007)

Keyphrases

uml models
object oriented
model checking
sequence diagrams
verification method
face verification
database
test cases
mechanical properties
training data
object recognition
software engineering
general purpose
knowledge representation
query language
information systems
databases
data sets