Deliverables: A Categorial Approach to Program Development in Type Theory.

James McKinna Rod M. Burstall

Published in: MFCS (1993)

Keyphrases

theoretical framework
data mining
decision support
knowledge based systems
development process
rapid development
theoretical basis
general theory
information retrieval
decision making
expert systems
software engineering
logic programs
st century
program execution
practical experience