International Journal of Agent-Oriented Software Engineering, Volume 1

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

• Michael Winikoff:
  Defining syntax and providing tool support for Agent UML using a textual notation. 123-144
  
• Liu Wei, Chen Junjie:
  Design and implementation of an intelligent metasearch engine based on agent. 147-157
  
• Tak-Chung Fu, Chung-Leung Lui:
  Agent-oriented network intrusion detection system using data mining approaches. 158-174
  
• I. T. Hawryszkiewycz:
  Providing agent support for collaborative systems: using a domain-oriented design method. 175-192
  
• Kosuke Ono, Masateru Harao:
  Multiagent-based modelling and simulation of consensus formations in arguments. 193-204
  
• David Foster, Vijay Varadharajan:
  Trust-enhanced secure mobile agent-based system design. 205-224
  
• Zhongyu Lu, Umair Rahman:
  Semantic search technology for information retrieval on the web. 225-243
  
• Incheon Paik, Hiroyuki Akimoto:
  Ontology querying and its software component for design support in supply chains. 244-259
  

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