Formal Extreme (and Extremely Formal) Programming.

Ángel Herranz-Nieva Juan José Moreno-Navarro

Published in: XP (2003)

Keyphrases

formal model
neural network
formal methods
real time
machine learning
image processing
programming language
case study
three dimensional
high level
data model
probabilistic model
web applications
mathematical theory