|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Brinkkemper S.1996. Method engineering: engineering of information systems development methods and tools. Information and Software Technology38, 275–280.
Google Scholar
|
|
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).
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
CMMI Product Team. 2002. Capability Maturity Model Integration (CMMISM) v. 1.1. Tech. Rep., Carnegie Mellon, Software Engineering Institute.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Georgeff M. P.2009. The gap between software engineering and multi-agent systems: bridging the divide. IJAOSE3, 391–396.
Google Scholar
|
|
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.
Google Scholar
|
|
Giorgini P., Mylopoulos J. & Sebastiani R.2005b. Goal-oriented requirements analysis and reasoning in the tropos methodology. Engineering Applications of Artificial Intelligence18, 159–171.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Henderson-Sellers B. & Giorgini P. (eds) 2005. Agent-Oriented Methodologies, Idea Group.
Google Scholar
|
|
IEEE. 1990. IEEE standard glossary of software engineering terminology. IEEE Std610, 121990.
Google Scholar
|
|
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.
Google Scholar
|
|
Kacem A. H., Regayeg A. & Jmaiel M.2007. ForMAAD: a formal method for agent-based application design. Web Intelligence and Agent Systems5, 435–454.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Lethbridge T. C.2000. What knowledge is important to a software professional?Computer33, 44–50.
Google Scholar
|
|
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.
Google Scholar
|
|
Luck M. & Padgham L. (eds) 2008. Agent-Oriented Software Engineering VIII, LNCS, 4951. Springer.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Naur P. & Randell B. (eds) 1968. Software Engineering, report on a conference sponsored by the NATO SCience Committee. NATO, Science Affairs Division from NATO.
Google Scholar
|
|
Nguyen C. D., Perini A. & Tonella P.2010. Goal-oriented testing for MASs. International Journal of Agent Oriented Software Engineering4, 79–109.
Google Scholar
|
|
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.
Google Scholar
|
|
Object Management Group. 2008. Software and Systems Process Engineering Metamodel Specification (SPEM) 2.0.
Google Scholar
|
|
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.
Google Scholar
|
|
Padgham L. & Winikoff M.2004. Developing Intelligent Agent Systems: A Practical Guide, John Wiley & Sons.
Google Scholar
|
|
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.
Google Scholar
|
|
Parnas D. L.1999. Software engineering programs are not computer science programs. IEEE Software16, 19–30.
Google Scholar
|
|
Paulk M., Curtis B., Chrissis M. & Weber C.1993. Capability maturity model v. 1.1. Software, IEEE10, 18–27.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Weyns D.2010. Architecture-Based Design of Multi-Agent Systems, Springer-Verlag.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|