Formal Methods in Agent-Oriented Software Engineering.
Amal El Fallah SeghrouchniJorge J. Gómez-SanzMunindar P. SinghPublished in: AOSE (2009)
Keyphrases
- formal methods
- agent oriented software engineering
- agent oriented
- software engineering
- multi agent systems
- model checking
- formal analysis
- formal specification
- artificial intelligence
- safety critical
- knowledge based systems
- model checker
- development process
- agent systems
- modeling language
- software development
- process algebra
- machine learning
- building blocks
- multi agent