Essential Concepts of Algebraic Specification and Program Development.

Donald Sannella Andrzej Tarlecki

Published in: Formal Aspects Comput. (1997)

Keyphrases

knowledge based systems
case study
design principles
key concepts
artificial intelligence
practical experience
data sets
machine learning
software engineering
open source
collaborative learning
decision support
development process
concept learning
programming environments