To Code Is Human.

Gerard J. Holzmann

Published in: IEEE Softw. (2015)

Keyphrases

data sets
databases
data mining
information retrieval
data structure
source code
data flow
real time
neural network
machine learning
learning algorithm
multi agent
user interface
human subjects