An incremental development of the Mondex system in Event-B.

Michael J. Butler Divakar Yadav

Published in: Formal Aspects Comput. (2008)

Keyphrases

event detection
decision support
database
knowledge based systems
genetic algorithm
decision making
multiscale
artificial neural networks
software engineering
knowledge management
information processing
development process
rapid development
st century