Simulation-based Verification of UML models.

Luigi Lavazza Giuseppe Occorso

Published in: SEKE (2003)

Keyphrases

uml models
object oriented
model checking
sequence diagrams
test cases
face verification
high level
verification method
database
three dimensional
learning environment
video sequences
image retrieval
open source
signature verification
written in natural language