Volume 1, Number 1, 2007
- Rubén Fuentes-Fernández, Jorge J. Gómez-Sanz, Juan Pavón:
Model integration in agent-oriented development.
2-27

- Holger Giese, Florian Klein:
Systematic verification of multi-agent systems based on rigorous executable specifications.
28-62

- Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer:
Ontology negotiation: goals, requirements and implementation.
63-90

- Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita:
Method fragments for agent design methodologies: from standardisation to research.
91-121

Volume 1, Number 2, 2007
Volume 1, Number 3/4, 2007
- Takuo Doi, Shinichi Honiden:
IOM/T: interaction-oriented model by textual notation.
266-294

- Rosa Maria Vicari, João Carlos Gluz:
An Intelligent Tutoring System (ITS) view on AOSE.
295-333

- Klaus Fischer, Christian Hahn, Cristián Madrigal-Mora:
Agent-oriented software engineering: a model-driven approach.
334-369

- Jomi Fred Hübner, Jaime Simão Sichman, Olivier Boissier:
Developing organised multiagent systems using the MOISE.
370-395

- Giovanni Casella, Viviana Mascardi:
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware.
396-434

- Tim Miller, Peter McBurney:
A formal semantics for Gaia liveness rules and expressions.
435-476

- Lin Padgham, Mikhail Perepletchikov:
Prioritisation mechanisms to support incremental development of agent systems.
477-497

- Michael Luck, Lin Padgham:
Report from the Eighth Agent-Oriented Software Engineering Workshop, AAMAS 2007.
498-502

Last update Fri May 24 16:50:18 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page