Validation of UML Models Thanks to Z and Lustre.

Sophie Dupuy-Chessa Lydie du Bousquet

Published in: FME (2001)

Keyphrases

uml models
object oriented
sequence diagrams
artificial intelligence
test cases
computer vision
database systems
object recognition
viewpoint
low level