Login / Signup

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

Sophie DupuyLydie 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