Formalization and 'Literate' Programming.

Published in: APSEC (2001)

Keyphrases

formal model
knowledge representation
operational semantics
machine learning
decision making
knowledge base
case study
software development
online learning
formal analysis