Login / Signup

Keynote talk IIP: Proving (and revisiting) what programs do not.

Bertrand Meyer
Published in: MEMOCODE (2014)
Keyphrases
  • key issues
  • automatic programming
  • information systems
  • computer vision
  • website
  • database
  • web services
  • high level
  • knowledge discovery and data mining
  • computer programs
  • control program