Login / Signup

Behavioral Program Specification.

Horst Reichel
Published in: CTCS (1985)
Keyphrases
  • control program
  • high level
  • machine learning
  • user defined
  • control flow
  • search engine
  • computer vision
  • search algorithm
  • software engineering
  • computer programs
  • specification language
  • high level programming language