{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:36Z","timestamp":1725574296018},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237228"},{"type":"electronic","value":"9783540304661"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30466-1_42","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T19:24:11Z","timestamp":1294428251000},"page":"458-469","source":"Crossref","is-referenced-by-count":4,"title":["A Sociological Framework for Multi-agent Systems Validation and Verification"],"prefix":"10.1007","author":[{"given":"Rub\u00e9n","family":"Fuentes","sequence":"first","affiliation":[]},{"given":"Jorge J.","family":"G\u00f3mez-Sanz","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Pav\u00f3n","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"B\u00f8dker, S., Gr\u00f8nboek, K.: Cooperative prototyping: users and designers in mutual activity. International Journal of Man-Machine Studies\u00a034(3) (1981)","key":"42_CR1","DOI":"10.1016\/0020-7373(91)90030-B"},{"doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. In: International Journal of Cooperative Information Systems, special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems (1997)","key":"42_CR2","DOI":"10.1142\/S0218843097000069"},{"doi-asserted-by":"crossref","unstructured":"Button, G., Dourish, P.: Technomethodology: Paradoxes and Possibilities. In: ACM Proceedings of CHI 1996, Vancouver, pp. 19\u201326 (1996)","key":"42_CR3","DOI":"10.1145\/238386.238394"},{"key":"42_CR4","volume-title":"Constantine on Peopleware","author":"L.L. Constantine","year":"1995","unstructured":"Constantine, L.L.: Constantine on Peopleware. Yourdon Press, Englewood Cliffs (1995)"},{"key":"42_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science of Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"42_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-24620-6_8","volume-title":"Agent-Oriented Software Engineering IV","author":"R. Fuentes","year":"2004","unstructured":"Fuentes, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Activity Theory for the Analysis and Design of Multi-Agent Systems. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 110\u2013122. Springer, Heidelberg (2004)"},{"key":"42_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25945-9_52","volume-title":"Current Topics in Artificial Intelligence","author":"R. Fuentes","year":"2004","unstructured":"Fuentes, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Social Analysis of Multi-Agent Systems with Activity Theory. In: Conejo, R., Urretavizcaya, M., P\u00e9rez-de-la-Cruz, J.-L. (eds.) CAEPIA\/TTIA 2003. LNCS (LNAI), vol.\u00a03040, Springer, Heidelberg (2004)"},{"unstructured":"Fuentes, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Towards Requirements Elicitation in Multi-Agent Systems. In: Proceedings of the 4th International Symposium From Agent Theory to Agent Implementation (AT2AI 2004), Vienna, Austria (April 2004)","key":"42_CR8"},{"key":"42_CR9","first-page":"1","volume-title":"The Dry and the Wet. Information System Concepts","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A.: The Dry and the Wet. Information System Concepts, pp. 1\u201317. Elsevier, North-Holland (1992)"},{"key":"42_CR10","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1145\/192844.193065","volume-title":"Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work (CSCW 1994)","author":"J. Hughes","year":"1994","unstructured":"Hughes, J., King, V., Rodden, T., Andersen, H.: Moving out from the control room: ethnography in system design. In: Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work (CSCW 1994), pp. 429\u2013439. ACM Press, New York (1994)"},{"unstructured":"IBM alphaWorks: Robocode (2002), http:\/\/robocode.alphaworks.ibm.com","key":"42_CR11"},{"issue":"4","key":"42_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/306412.306431","volume":"6","author":"V. Kaptelinin","year":"1999","unstructured":"Kaptelinin, V., Nardi, B.A., Macaulay, C.: The Activity Checklist: A tool for representing the \u201cspace\u201d of context. Interactions\u00a06(4), 27\u201339 (1999)","journal-title":"Interactions"},{"unstructured":"Leontiev, A.N.: Problems of the development of the mind. Moscow, Progress (1981)","key":"42_CR13"},{"issue":"3","key":"42_CR14","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1011446410198","volume":"4","author":"T. Malsch","year":"2001","unstructured":"Malsch, T.: Naming the Unnamable: Socionics or the Sociological Turn of\/to Distributed Artificial Intelligence. Autonomous Agents and Multi-Agent Systems\u00a04(3), 155\u2013186 (2001)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"42_CR15","volume-title":"Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000)","author":"B. Nuseibeh","year":"2000","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000, ACM Press, New York (2000)"},{"key":"42_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-45023-8_38","volume-title":"Multi-Agent Systems and Applications III","author":"J. Pav\u00f3n","year":"2003","unstructured":"Pav\u00f3n, J., G\u00f3mez-Sanz, J.: Agent Oriented Software Engineering with INGENIAS. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 394\u2013403. Springer, Heidelberg (2003)"},{"key":"42_CR17","first-page":"68","volume":"13","author":"J. Sichman","year":"2001","unstructured":"Sichman, J., Demazeau, Y.: On Social Reasoning in Multi-Agent Systems. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, Special Issue on Development of Multi-Agent Systems\u00a013, 68\u201384 (2001)","journal-title":"Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, Special Issue on Development of Multi-Agent Systems"},{"unstructured":"Sykara, K.P.: Multiagent systems. AI Magazine\u00a019(2) (1998)","key":"42_CR18"},{"unstructured":"Vygotsky: Mind and Society, Cambridge MA, Harvard University (1978)","key":"42_CR19"},{"key":"42_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44564-1_1","volume-title":"Agent-Oriented Software Engineering","author":"M. Wooldridge","year":"2001","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 1\u201328. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling for Advanced Application Domains"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30466-1_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:52:39Z","timestamp":1605761559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30466-1_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237228","9783540304661"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30466-1_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}