Transformational Derivation of Programs Using the Focus System.

Published in: Software Development Environments (SDE) (1988)

Keyphrases

real time
neural network
database
real world
data mining
machine learning
genetic algorithm
decision making
image processing
multi agent
information technology
special case
fixpoint