Debugging Agent Behavior in an Implemented Agent System
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 104-125
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Providing early feedback in the development cycle through automated application of model checking to software architectures2005
- Model checking agentspeak2003
- Automated translation of UML models of architectures for verification and simulation using SPIN2003
- MULTIAGENT SYSTEMS ENGINEERINGInternational Journal of Software Engineering and Knowledge Engineering, 2001
- The Gaia Methodology for Agent-Oriented Analysis and DesignAutonomous Agents and Multi-Agent Systems, 2000
- ZEUS1999
- Agent-Oriented Software Engineering1999
- Program understanding and the concept assignment problemCommunications of the ACM, 1994
- GENOA - A Customizable, Language- And Front-end Independent Code Analyzer1992
- MACE: A Flexible Testbed for Distributed AI Research1987