Formalising Dijkstra's Development Strategy within Stark's Formalism.

Antonio Cau Ruurd Kuiper Willem-Paul de Roever

Published in: Refine (1992)

Keyphrases

case study
machine learning
knowledge based systems
development environment
database
decision making
knowledge base
search algorithm
software engineering
decision support
information processing