The Mathematical Construction of a Program.

Jean-Raymond Abrial

Published in: Sci. Comput. Program. (1984)

Keyphrases

learning algorithm
databases
information retrieval
construction process
program execution
user interface
computational intelligence
computer programs
static analysis