Formal Goal-Oriented Development of Resilient MAS in Event-B.

Inna Pereverzeva Elena Troubitsyna Linas Laibinis

Published in: Ada-Europe (2012)

Keyphrases

goal oriented
requirements analysis
requirements engineering
software engineering
process oriented
case study
agent oriented
multi agent systems
knowledge based systems
design process
fine grained
event sequences
autonomous agents
multiagent systems
decision support
cooperative
multi agent