Incremental Development of Multi-agent Systems in Object-Z.

Graeme Smith Kirsten Winter

Published in: SEW (2012)

Keyphrases

multi agent systems
agent oriented
multi agent
object model
d objects
development process
complex objects
incremental version
multiple objects
spatial relations
moving objects
information processing
cooperative
agent systems
three dimensional
object orientation
computational logic
website