A Type-Theoretic Approach to Program Development.

Published in: IFIP Congress (1989)

Keyphrases

software engineering
rapid development
programming environments
neural network
knowledge based systems
practical experience
data mining
social networks
website
case study
open source
decision support
st century
development environment
future development