Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).

Donald Sannella Andrzej Tarlecki

Published in: TAPSOFT, Vol.2 (1989)

Keyphrases

extended abstract
soft systems
database
maximum likelihood
knowledge based systems
formal model
rapid development
design methodology
databases
information technology
development process
design principles