OOZE: An Object Oriented Z Environment.

Antonio J. Alencar Joseph A. Goguen

Published in: ECOOP (1991)

Keyphrases

real time
object oriented
environmental conditions
neural network
expert systems
machine learning
multi agent
relational databases
data sets
digital libraries
mobile robot
dynamic environments
complex environments
urban environments