Login / Signup

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method.

Bernardo F. B. BragaJoão Paulo A. AlmeidaGiancarlo GuizzardiAlessander Botti Benevides
Published in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
  • lightweight
  • detection method
  • significant improvement
  • high accuracy
  • experimental evaluation
  • support vector machine
  • high precision
  • genetic algorithm
  • computational complexity
  • feature space
  • wireless sensor networks