Interpolation in Practical Formal Development.

Juan Bicarregui Theodosis Dimitrakos Dov M. Gabbay T. S. E. Maibaum

Published in: Log. J. IGPL (2001)

Keyphrases

learning algorithm
rapid development
development process
machine learning
development environment
software engineering
data sets
decision support
mathematical foundations
practical problems
future development
formal model
information processing
multiscale
information retrieval
data mining
databases