{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:33Z","timestamp":1725562593702},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221807"},{"type":"electronic","value":"9783540259367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25936-7_11","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T21:04:10Z","timestamp":1281301450000},"page":"201-220","source":"Crossref","is-referenced-by-count":3,"title":["SPACE: A Method to Increase Tracability in MAS Development"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Mermet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00e4le","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Fournier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Flouret","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Jay, V., Olivier, D., Bertelle, C., Flouret, M., Ponty, J.-L.: Automata with multiplicities as behaviour model in multi-agent simulations"},{"key":"11_CR2","unstructured":"Comellas, F.: An ant algorithm for the graph colouring problem, http:\/\/citeseer.nj.nec.com\/112038.html"},{"key":"11_CR3","unstructured":"Demazeau, Y.: Voyelles (2001)"},{"key":"11_CR4","volume-title":"Graph Theory","author":"R. Diestel","year":"2000","unstructured":"Diestel, R.: Graph Theory. Springer, New-York (2000)"},{"key":"11_CR5","unstructured":"dimacs 1992. Clique and coloring problems, a brief introduction, with project ideas (1992), ftp:\/\/dimacs.rutgers.edu\/pub\/challenge"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1007\/BFb0056916","volume-title":"Parallel Problem Solving from Nature \u2013 PPSN V","author":"R. Dorne","year":"1998","unstructured":"Dorne, R., Hao, J.-K.: A new genetic local search algorithm for graph coloring. In: Eiben, A.E., B\u00e4ck, T., Schoenauer, M., Schwefel, H.-P. (eds.) Parallel Problem Solving from Nature \u2013 PPSN V, Berlin, pp. 745\u2013754. Springer, Heidelberg (1998), http:\/\/citeseer.nj.nec.com\/dorne98new.html"},{"key":"11_CR7","unstructured":"Drogoul, A.: De la simulation multi-agents \u00e0 la r\u00e9solution collective de probl\u00e8mes: une \u00e9tude de l\u2019\u00e9mergence de structure d\u2019organisation dans les syst\u00e8mes multiagents. PhD thesis, Univ. Paris VI (1993)"},{"key":"11_CR8","unstructured":"Ferber, J., Gutknecht, O.: Aalaadin: a meta-model for the analysis and design of organizations in multi-agent systems (1998)"},{"key":"11_CR9","unstructured":"Ribeiro Filho, G.: Improvements on constructive genetic approaches to graph coloring, http:\/\/citeseer.nj.nec.com\/242708.html"},{"key":"11_CR10","unstructured":"Ribeiro Filho, G., Lorena, G.: A constructive genetic algorithm for graph coloring (1997), http:\/\/citeseer.nj.nec.com\/filho97constructive.html"},{"key":"11_CR11","unstructured":"Ribeiro Filho, G., Lorena, G.: Constructive genetic algorithm and column generation: an application to graph coloring (2000), http:\/\/citeseer.nj.nec.com\/filho00constructive.html"},{"key":"11_CR12","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent metatem - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"11_CR13","unstructured":"Flouret, M., Fournier, D., Mermet, B., Simon, G.: Formalisation des agents: du mod\u00e8le conceptuel au mod\u00e8le op\u00e9rationnel: le mod\u00e8le space. Technical report, Laboratoire d\u2019Informatique du Havre (2003)"},{"key":"11_CR14","unstructured":"Garneau, T., Delisle, S.: Evaluation comparative d\u2019outils et d\u2019environnements. In: JFIADSMA, pp. 281\u2013284. Hermes (2002)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Gutknecht, O., Ferber, J.: La plateforme madkit et l\u2019outil de conception sedit. In: Syst\u00e8mes Multiagents: M\u00e9thodologie, technologie et exp\u00e9riences, JFIADSMA 2000, pp. 281\u2013284. Hermes (2000)","DOI":"10.1145\/336595.337048"},{"key":"11_CR16","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: Sp\u00e9cification structurelle, fonctionnelle et d\u00e9ontique d\u2019organisations dans les sma. In: Syst\u00e8mes Multiagents et Syst\u00e8mes Complexes, JFIADSMA 2002, pp. 205\u2013216. Hermes (2002)"},{"key":"11_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-49057-4_21","volume-title":"Intelligent Agents V. Agents Theories, Architectures, and Languages","author":"C. Iglesias","year":"1999","unstructured":"Iglesias, C., Garrijo, M., Gonzalez, J.: A survey of agent-oriented methodologies. In: Rao, A.S., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 317\u2013330. Springer, Heidelberg (1999)"},{"key":"11_CR18","unstructured":"Mermet, B.: Formal model of a multiagent system. In: Trappl, R. (ed.) Cybernetics and Systems, pp. 653\u2013658. Austrian Society for Cybernetics Studies (2002)"},{"issue":"1\/2","key":"11_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1080\/088395199117513","volume":"13","author":"H.S. Nwana","year":"1999","unstructured":"Nwana, H.S., Ndumu, D.T., Lee, L.C., Collis, J.C.: Zeus: a toolkit for building distributed multi-agents systems. Applied Artificial Intelligence Journal\u00a013(1\/2), 129\u2013185 (1999)","journal-title":"Applied Artificial Intelligence Journal"},{"key":"11_CR20","unstructured":"Rao, A., Georgeff, M.: Bdi agents from theory to practice. In: Technical note 56. AAII (1995)"},{"key":"11_CR21","unstructured":"Rimassa, G., Bellifemine, F., Poggi, A.: Jade - a fipa compliant agent framework. In: PMAA 1999, pp. 97\u2013108 (1999)"},{"key":"11_CR22","unstructured":"Sabas, A., Delisle, S., Badri, M.: A comparative analysis of multiagent system development methodologies: Towards a unified approach. In: Trappl, R. (ed.) Cybernetics and Systems, pp. 599\u2013604. Austrian Society for Cybernetics Studies (2002)"},{"key":"11_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-46148-5_17","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"G. Simon","year":"2002","unstructured":"Simon, G., Flouret, M., Mermet, B.: A methodology to solve optimisation problems with mas; application to the graph colouring problem. In: Scott, D. (ed.) AIMSA 2002. LNCS (LNAI), vol.\u00a02443, p. 162. Springer, Heidelberg (2002)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"131","DOI":"10.2498\/cit.2000.02.04","volume":"8","author":"A. Vesel","year":"2000","unstructured":"Vesel, A., Zerovnik, J.: How good can ants color graphs? Journal of computing and Information Technology - CIT\u00a08, 131\u2013136 (2000), http:\/\/citeseer.nj.nec.com\/443529.html","journal-title":"Journal of computing and Information Technology - CIT"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/280765.280867","volume-title":"Proceedings of the 2nd International Conference on Autonomous Agents (Agents 1998)","author":"M. Wooldridge","year":"1998","unstructured":"Wooldridge, M., Jennings, N.R.: Pitfalls of agent-oriented development. In: Sycara, K.P., Wooldridge, M. (eds.) Proceedings of the 2nd International Conference on Autonomous Agents (Agents 1998), 9-13, pp. 385\u2013391. ACM Press, New York (1998)"},{"issue":"3","key":"11_CR26","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25936-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:17:10Z","timestamp":1620011830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25936-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221807","9783540259367"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25936-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}