Design-Level Detection of Interactions in Aspect-UML Models Using Alloy.

Farida Mostefaoui Julie Vachon

Published in: J. Object Technol. (2007)

Keyphrases

uml models
sequence diagrams
case study
automatic detection
database systems
object recognition
image data
detection algorithm
design process