A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments.

Joseph A. Goguen Rod M. Burstall

Published in: CTCS (1985)

Keyphrases

real world
artificial intelligence
search engine
high level
simulation study
database
real time
databases
neural network
data mining
digital libraries
theoretical framework