doi:10.1017/S0269888915000053

Abran A., Bourque P., Dupuis R., Moore J. W. & Tripp L. L. (eds) 2004. Guide to the Software Engineering Body of Knowledge—SWEBOK, IEEE Press. http://www.swebok.org.

Aldewereld H. & Dignum V.2010. OperettA: organization-oriented development environment. In LADS, Dastani, M., Fallah-Seghrouchni, A. E., Hübner, J., Leite, J. (eds), LNCS, 6822, 1–18. Springer.

Argente E., Beydoun G., Fuentes-Fernández R., Henderson-Sellers B. & Low G.2011a. Modelling with Agents. In AOSE X, Gleizes, M. P., Gómez-Sanz, J. (eds), LNCS, 6038, 157–168. Springer.

Argente E., Botti V. J. & Julián V.2011b. GORMAS: an organizational-oriented methodological guideline for Open MAS. In AOSE X, Gleizes, M. P., Gómez-Sanz, J. J. (eds), LNCS, 6038, 32–47. Springer.

Argente E., Julián V. & Botti V. J.2008. MAS modeling based on organizations. In AOSE IX, Luck, M., Gómez-Sanz, J. (eds), LNCS, 5386, 16–30. Springer.

Bernon C., Camps V., Gleizes M. P. & Picard G.2005. Multi-agent systems: the ADELFE methodology. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. VII. 172–202.

Bertolini D., Delpero L., Mylopoulos J., Novikau A., Orler A., Penserini L., Perini A., Susi A. & Tomasi B.2006. A Tropos model-driven development environment. In CEUR Workshop Proceedings, Boudjlida, N., Cheng, D., Guelfi, N. (eds), 231. CAiSE Forum. CEUR-WS.org.

Brinkkemper S.1996. Method engineering: engineering of information systems development methods and tools. Information and Software Technology38, 275–280.

Caire G., Cossentino M., Negri A., Poggi A. & Turci P.2004. Multi-agent systems implementation and testing. In Proceedings of 4thInternational Symposium From Agent Theory to Agent Implementation (AT2AI-4).

Cervenka R., Greenwood D. A. P. & Trencanský I.2006a. The AML approach to modeling autonomic systems. In 2006 International Conference on Autonomic and Autonomous Systems (ICAS ’06). IEEE Computer Society, 29.

Cervenka R., Trencanský I. & Calisti M.2006b. Modeling social aspects of multi-agent systems: the AML approach. In AOSE VI, Müller, J. P., Zambonelli, F. (eds), LNCS, 3950, 28–39. Springer.

CMMI Product Team. 2002. Capability Maturity Model Integration (CMMISM) v. 1.1. Tech. Rep., Carnegie Mellon, Software Engineering Institute.

Cossentino M.2005. From requirements to code with the PASSI methodology. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. IV. 79–106.

Cossentino M., Gleizes M. P., Molesini A. & Omicini A.2011. Processes engineering and AOSE. In AOSE X, Gleizes, M. P., Gomez-Sanz, J. (eds), LNCS, 6038, 191–212. Springer.

Cossentino M., Sabatucci L. & Chella A.2003. A possible approach to the development of robotic multi-agent systems. In IEEE/WIC International Conference on Intelligent Agent Technology (IAT’03), 539–544.

DeLoach S. A. & Kumar M.2005. Multi-agent systems engineering: an overview and case study. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. XI. 317–340.

DeLoach S. A. & Wood M. F.2000. Developing multiagent systems with agentTool. In ATAL, Castelfranchi, C., Lespérance, Y. (eds), LNCS, 1986, 46–60. Springer.

Dix J., Hindriks K. V., Logan B. & Wobcke W.2012. Dagstuhl Seminar on Engineering Multi-Agent Systems. http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12342.

El Fallah-Seghrouchni A., Gómez-Sanz J. & Singh M.2011. Formal methods in agent-oriented software engineering. In AOSE X, Gleizes, M. P., Gómez-Sanz, J. (eds), LNCS, 6038, 213–228. Springer.

Ferber J. & Gutknecht O.1998. A meta-model for the analysis and design of organizations in multi-agent systems. In ICMAS, Demazeau, Y. (ed.), IEEE Computer Society, 128–135.

Fuentes R., Gómez-Sanz J. J. & Pavón J.2006. Requirements elicitation for agent-based applications. In AOSE VI, Müller, J. P., Zambonelli, F. (eds), LNCS, 3950, 40–53. Springer.

Fuxman A., Mylopoulos J., Pistore M. & Traverso P.2001. Model checking early requirements specifications in Tropos. In Proceedings of 5th IEEE International Symposium on Requirements Engineering (RE 2001), 174–181.

García E., Argente E. & Giret A.2010. EMFGormas: a CASE tool for developing service-oriented open MAS. In Proceedings of 9thInternational Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), van der Hoek, W., Kaminka, G. A., Lespérance, Y., Luck, M., Sen, S. (eds), 1. IFAAMAS, 1623–1624.

García-Magariño I., Gómez-Sanz J. J. & Pérez-Agüera J. R.2008. A multi-agent based implementation of a Delphi process. In Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Padgham, L., Parkes, D. C., Müller, J. P., Parsons, S. (eds), 3. IFAAMAS, 1543–1546.

García-Ojeda J. C., DeLoach S. A. & Robby. 2009. agentTool III: from process definition to code generation. In Proceedings of 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Sierra, C., Castelfranchi, C., Decker, K. S., Sichman, J. S. (eds), 2. IFAAMAS, 1393–1394.

Garijo F. J., Gómez-Sanz J. J. & Massonet P.2005. The MESSAGE methodology for agent-oriented analysis and design. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. VIII. 203–234.

Georgeff M. P.2009. The gap between software engineering and multi-agent systems: bridging the divide. IJAOSE3, 391–396.

Giorgini P., Kolp M., Mylopoulos J. & Castro J.2005a. Tropos: a requirements-driven methodology for agent-oriented software. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. II. 20–45.

Giorgini P., Mylopoulos J. & Sebastiani R.2005b. Goal-oriented requirements analysis and reasoning in the tropos methodology. Engineering Applications of Artificial Intelligence18, 159–171.

Gómez-Sanz J. J.2007. INGENIAS Agent Framework: Development Guide, Universidad Complutense de Madrid. http://sourceforge.net/projects/ingenias/files/INGENIAS%20Development%20Kit/Aranjuez/IAFDevelopmentGuide.pdf/download.

Gómez-Sanz J. J., Bota-Blaya J. A., Serrano E. & Pavón J2009. Testing and debugging of MAS interactions with INGENIAS. In AOSE IX, Luck, M., Gómez-Sanz, J. (eds), LNCS, 5386, 199–212. Springer.

Gómez-Sanz J. J., Fernández C. R. & Arroyo J.2010. Model driven development and simulations with the INGENIAS agent framework. Simulation Modelling Practice and Theory18, 1468–1482.

Gómez-Sanz J. J., Fuentes R., Pavón J. & García-Magariño I.2008. INGENIAS development kit: a visual multi-agent system development environment. In Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Demo Proceedings. IFAAMAS, 1675–1676.

Gómez-Sanz J. J. & Pavón J.2002. Meta-modelling in Agent Oriented Software Engineering. In IBERAMIA, Garijo, F. J., Santos, J. C. R., Toro, M. (eds), LNCS, 2527, 606–615. Springer.

Gómez-Sanz J. J. & Pavón J.2005. Implementing multi-agent systems organizations with INGENIAS. In PROMAS, Bordini, R. H., Dastani, M., Dix, J., Fallah-Seghrouchni, A. E. (eds), LNCS, 3862, 236–251. Springer.

Gómez-Sanz J. J., Pavón J. & Garijo F. J.2005. Estimating costs for Agent Oriented Software. In AOSE, Müller, J. P., Zambonelli, F. (eds), LNCS, 3950, 218–230. Springer.

Gorodetsky V., Karsaev O., Samoilov V. & Konushy V.2008. Support for analysis, design, and implementation stages with MASDK. In AOSE IX, Luck, M., Gómez-Sanz, J. (eds), LNCS, 5386, 272–287. Springer.

Graja Z., Regayeg A. & Kacem A. H.2010. ForMAAD: towards a model driven approach for agent based application design. In AOSE XI, Weyns, D., Gleizes, M. P. (eds), LNCS, 6788, 148–164. Springer.

Hahn C. & Fischer K.2008. The formal semantics of the domain specific modeling language for multiagent systems. In AOSE IX, Luck, M., Gómez-Sanz, J. (eds), LNCS, 5386, 145–158. Springer.

Hahn C., Zinnikus I., Warwas S. & Fischer K.2009. From agent interaction protocols to executable code: a model-driven approach. In Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Sierra, C., Castelfranchi, C., Decker, K. S., Sichman, J. S. (eds), 2. IFAAMAS, 1199–1200.

Henderson-Sellers B. & Giorgini P. (eds) 2005. Agent-Oriented Methodologies, Idea Group.

IEEE. 1990. IEEE standard glossary of software engineering terminology. IEEE Std610, 121990.

Iglesias C. A., Garijo M., Centeno-González J. & Velasco J. R.1997. Analysis and design of multiagent systems using MAS-Common KADS. In ATAL, Singh, M. P., Rao, A. S., Wooldridge, M. (eds), LNCS, 1365, 313–327. Springer.

Kacem A. H., Regayeg A. & Jmaiel M.2007. ForMAAD: a formal method for agent-based application design. Web Intelligence and Agent Systems5, 435–454.

Kelly S., Lyytinen K. & Rossi M.1996. MetaEdit+: a fully configurable multi-user and multi-tool CASE and CAME environment. In CAiSE, Constantopoulos, P., Mylopoulos, J., Vassiliou, Y. (eds), LNCS, 1080, 1–21. Springer.

Kendall E. A.1999. Role modeling for agent system analysis, design, and implementation. In Proceedings of 3rd International Symposium on Mobile Agents/Agent Systems and Applications (ASA/MA 1999). IEEE Computer Society, 204–218.

Lethbridge T. C.2000. What knowledge is important to a software professional?Computer33, 44–50.

Luck M., McBurney P., Shehory O. & Willmott S.2005. Agent technology: computing as interaction (a roadmap for agent based computing). AgentLink, http://www.agentlink.org/roadmap.

Luck M. & Padgham L. (eds) 2008. Agent-Oriented Software Engineering VIII, LNCS, 4951. Springer.

Massonet P., Deville Y. & Nève C.2002. From AOSE methodology to agent implementation. In Proceedings of 1st International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002). ACM, 27–34.

Morandini M., Nguyen D. C., Perini A., Siena A. & Susi A.2008. Tool-supported development with Tropos: The Conference Management System Case Study. In AOSE VIII, Luck, M., Padgham, L. (eds), LNCS, 4951, 182–196. Springer.

Naur P. & Randell B. (eds) 1968. Software Engineering, report on a conference sponsored by the NATO SCience Committee. NATO, Science Affairs Division from NATO.

Nguyen C. D., Perini A. & Tonella P.2010. Goal-oriented testing for MASs. International Journal of Agent Oriented Software Engineering4, 79–109.

Nunes I., Cirilo E., de Lucena C., Sudeikat J., Hahn C. & Gómez-Sanz J.2011. A survey on the implementation of agent oriented specifications. In AOSE X, Gleizes, M. P., Gomez-Sanz, J. (eds), LNCS, 6038, 169–179. Springer.

Object Management Group. 2008. Software and Systems Process Engineering Metamodel Specification (SPEM) 2.0.

Padgham L., Thangarajah J. & Winikoff M.2008. The Prometheus design tool—A Conference Management System Case Study. In AOSE VIII, Luck, M., Padgham, L. (eds), LNCS, 4951, 197–211. Springer.

Padgham L. & Winikoff M.2004. Developing Intelligent Agent Systems: A Practical Guide, John Wiley & Sons.

Padgham L. & Winikoff M.2005. Prometheus: a practical agent-oriented methodology. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. V. 107–135.

Parnas D. L.1999. Software engineering programs are not computer science programs. IEEE Software16, 19–30.

Paulk M., Curtis B., Chrissis M. & Weber C.1993. Capability maturity model v. 1.1. Software, IEEE10, 18–27.

Pavón J. & Gómez-Sanz J. J.2003. Agent oriented software engineering with INGENIAS. In CEEMAS, Mark, V., Müller, J. P., Pechoucek, M. (eds), LNCS, 2691, 394–403. Springer.

Pavón J., Gómez-Sanz J. J. & Fuentes R.2005. The INGENIAS methodology and tools. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. IX. 236–276.

Pavón J., Gómez-Sanz J. J. & Fuentes R.2006. Model driven development of multi-agent systems. In ECMDA-FA, Rensink, A.,Warmer, J. (eds), LNCS, 4066, 284–298. Springer.

Regayeg A., Kacem A. H. & Jmaiel M.2004. Specification and design of multi-agent applications using Temporal Z. In PRIMA, Barley, M., Kasabov, N. K. (eds), LNCS, 3371, 228–242. Springer.

Rougemaille S., Arcangeli J. P., Gleizes M. P. & Migeon F.2008. ADELFE design, AMAS-ML in action. In ESAW, Artikis, A., Picard, G., Vercouter, L. (eds), LNCS, 5485, 105–120. Springer.

Sabatucci L., Cossentino M. & Gaglio S.2006. Building agents with agents and patterns. In WOA, CEUR Workshop Proceedings, Paoli, F. D., Stefano, A. D., Omicini, A., Santoro, C. (eds), 204. CEUR-WS.org.

Seidita V., Cossentino M. & Gaglio S.2009. Using and extending the SPEM specifications to represent agent oriented methodologies. In AOSE IX, Luck, M., Gómez-Sanz, J. (eds), LNCS, 5386, 46–59. Springer.

Sierra C., Castelfranchi C., Decker K. S. & Sichman J. S. (eds) 2009. 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2. IFAAMAS.

Spanoudakis N. I. & Moraitis P.2008. The Agent Modeling Language (AMOLA). In AIMSA, Dochev, D., Pistore, M., Traverso, P. (eds), LNCS, 5253, 32–44. Springer.

Spanoudakis N. I. & Moraitis P.2010. Modular JADE agents design and implementation using ASEME. In IAT, Huang, J. X., Ghorbani, A. A., Hacid, M.-S. & Yamaguchi, T. (eds), IEEE Computer Society Press, 221–228.

Spanoudakis N. I. & Moraitis P.2011. Using ASEME methodology for model-driven agent systems development. In AOSE XI, Weyns, D., Gleizes, M. P. (eds), LNCS, 6788, 106–127. Springer.

Sturm A. & Shehory O.2003. A framework for evaluating agent-oriented methodologies. In AOIS, Giorgini, P., Henderson-Sellers, B., Winikoff, M. (eds), LNCS, 3030, 94–109. Springer.

Sun H., Thangarajah J. & Padgham L.2010. Eclipse-based Prometheus Design Tool. In Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), van der Hoek, W., Kaminka, G. A., Lespérance, Y., Luck, M., Sen, S. (eds), 1. IFAAMAS, 1769–1770.

van Putten B. J., Dignum V., Sierhuis M. & Wolfe S. R.2009. OperA and Brahms: a symphony? In AOSE IX, Luck, M., Gómez-Sanz, J. (eds), LNCS, 5386, 257–271. Springer.

Warwas S. & Hahn C.2009. The DSML4MAS development environment. In Proceedings of 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Sierra, C., Castelfranchi, C., Decker, K. S., Sichman, J. S. (eds), 2. IFAAMAS, 1379–1380.

Weyns D.2010. Architecture-Based Design of Multi-Agent Systems, Springer-Verlag.

Yu E. S. K.1997. Towards modeling and reasoning support for early-phase requirements engineering. In 3rd {IEEE} International Symposium on Requirements Engineering. IEEE Computer Society, 226–235.

Zambonelli F., Jennings N. R. & Wooldridge M.2005. Multi-agent systems as computational organizations: the Gaia methodology. In Agent-Oriented Methodologies, Henderson-Sellers, B. & Giorgini, P. (eds), Idea Group Publishing, Ch. VI. 136–171.

Zhang Z., Thangarajah J. & Padgham L.2011. Automated testing for intelligent agent systems. In AOSE X, Gleizes, M.-P., Gómez-Sanz, J. (eds), LNCS, 6038, 66–79. Springer.