A Formal Development and Validation Methodology Applied to Agent-Based Systems.
Giovanna Di Marzo SerugendoPublished in: Agents Workshop on Infrastructure for Multi-Agent Systems (2000)
Keyphrases
- agent based systems
- agent technology
- multi agent systems
- genetic algorithm
- decision making
- reference architecture
- databases
- agent systems
- rapid development
- dynamic environments
- decision support
- distributed systems
- software engineering
- process model
- software agents
- decision support system
- design methodology
- cooperative