A type-theoretic approach for program development.

Published in: Future Gener. Comput. Syst. (1990)

Keyphrases

programming environments
rapid development
st century
information processing
database
case study
development process
decision support
knowledge base
software engineering
knowledge based systems
computer programs
development environment
practical experience