Formal Program Development with Approximations.

Eerke A. Boiten John Derrick

Published in: ZB (2005)

Keyphrases

case study
programming environments
machine learning
software engineering
test cases
development process
design principles
computer programs
development environment
neural network
learning algorithm
decision making
rapid development
rapid prototyping