A Formal Development and Validation Methodology Applied to Agent-Based Systems
ContributorsDi Marzo Serugendo, Giovanna
Published inInternational Workshop on Infrastructure for Scalable Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, Editors Wagner, T. & Rana, O.-F., p. 214-225
Presented at Barcelona (Spain), 3-7 June 2000
PublisherBerlin : Springer
Collection
- Lecture Notes in Computer Science; 1887
Publication date2001
Abstract
Keywords
- Software engineering
- Design tools and techniques
- Petri nets
- Distributed artificial intelligence
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna. A Formal Development and Validation Methodology Applied to Agent-Based Systems. In: International Workshop on Infrastructure for Scalable Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems. Barcelona (Spain). Berlin : Springer, 2001. p. 214–225. (Lecture Notes in Computer Science) doi: 10.1007/3-540-47772-1_22
Main files (1)
Proceedings chapter (Accepted version)
Identifiers
- PID : unige:48375
- DOI : 10.1007/3-540-47772-1_22
Commercial URLhttp://cui.unige.ch/~dimarzo/papers/agents00.pdf
ISBN978-3-540-42315-7