Sign in

Verifying UML/OCL models using Boolean satisfiability.

Mathias SoekenRobert WilleMirco KuhlmannMartin GogollaRolf Drechsler
Published in: DATE (2010)
Keyphrases
  • metamodel
  • boolean satisfiability
  • modeling language
  • uml class diagrams
  • genetic algorithm
  • optimal solution
  • software engineering
  • constraint language