Login / Signup

Algebraic specification with provision for the automatic addition of error descriptions.

Takeshi HamaguchiMasahiko SakaiShinichirou YamamotoKiyoshi Agusa
Published in: Systems and Computers in Japan (1997)
Keyphrases
  • high level
  • fully automatic
  • error rate
  • semi automatic
  • computer vision
  • user defined
  • databases
  • real world
  • artificial intelligence
  • case study
  • error analysis
  • formal methods