An Object-Oriented Development Framework for Z.

Published in: Z User Workshop (1994)

Keyphrases

main contribution
design principles
database
machine learning
artificial intelligence
probabilistic model
conceptual framework
neural network
real world
knowledge base
evolutionary algorithm
software engineering
knowledge based systems
information processing
software architecture
framework enables