Retrenchment for Event-B: UseCase-wise development and Rodin integration.

Published in: Formal Aspects Comput. (2011)

Keyphrases

st century
software engineering
case study
data fusion
seamless integration
neural network
content management
knowledge integration
event driven
information integration
rapid development
development process
event detection
knowledge acquisition
data model
evolutionary algorithm
pairwise
multi agent
decision making