Structured Formal Development in Isabelle.

Maksym Bortin Einar Broch Johnsen Christoph Lüth

Published in: Nord. J. Comput. (2006)

Keyphrases

decision trees
information processing
knowledge based systems
project management
rapid development
real world
machine learning
social networks
information systems
case study
similarity measure
multiscale
decision support
theorem prover
development environment
formal methods