Specifying agents in the SF specification language.
W. David HurleyAlfs T. BerztissPublished in: ISADS (1995)
Keyphrases
- specification language
- multi agent
- multi agent systems
- programming language
- formal specification
- description language
- multiagent systems
- autonomous agents
- intelligent agents
- software environment
- multiple agents
- cooperative
- requirements specification
- dynamic environments
- software agents
- symbolic execution
- mobile agents
- resource allocation
- agent model
- high level
- fine grained
- domain specific
- general purpose
- software engineering
- object oriented
- decision making
- machine learning
- real world