Lets get Formal.

Steve Cook John Daniels

Published in: J. Object Oriented Program. (1994)

Keyphrases

formal specification
formal methods
expert systems
formal model
mathematical theory
databases
database
learning algorithm
search engine
multiscale
object recognition
evolutionary algorithm
software engineering
medical images
formal analysis
formal representation