Login / Signup

Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language.

Dino Mandrioli
Published in: AMAST (1996)
Keyphrases
  • specification language
  • industrial environment
  • formal specification
  • description language
  • programming language
  • machine learning
  • software environment
  • databases
  • knowledge base
  • high level
  • optimal solution