Login / Signup

A translation approach to component specification.

Fei CaoBarrett R. BryantWei ZhaoCarol C. BurtRajeev R. RajeMikhail AugustonAndrew M. Olson
Published in: OOPSLA Companion (2002)
Keyphrases
  • machine translation
  • neural network
  • formal specification
  • specification language
  • decision making
  • computer vision
  • learning objects
  • user defined
  • cross language
  • cross language information retrieval
  • provably correct