A Multi-formalism Approach for the Validation of UML Models.

Sophie Dupuy Lydie du Bousquet

Published in: Formal Aspects Comput. (2000)

Keyphrases

uml models
object oriented
knowledge representation
test cases
data sets
artificial intelligence
knowledge base
distributed systems
formal model