Staged program development.

K. Rustan M. Leino

Published in: SPLASH (2012)

Keyphrases

programming environments
practical experience
multimedia
computer programs
search algorithm
knowledge based systems
world class
programming environment
st century
rapid development
test cases
real time
case study
artificial intelligence
information retrieval
machine learning
neural network