Login / Signup

SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.

Luciano LavagnoMarco Di NataleAlberto FerrariPaolo Giusto
Published in: UML Satellite Activities (2004)
Keyphrases
  • design process
  • error rate
  • machine learning
  • information retrieval
  • decision trees
  • building blocks
  • computer aided