{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:45Z","timestamp":1725488865053},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006077"},{"type":"electronic","value":"9783540364832"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36483-8_7","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T00:08:06Z","timestamp":1186877286000},"page":"89-104","source":"Crossref","is-referenced-by-count":9,"title":["Towards an Emergence-Driven Software Process for Agent-Based Simulation"],"prefix":"10.1007","author":[{"given":"Nuno","family":"David","sequence":"first","affiliation":[]},{"given":"Jaime Sim\u00e3o","family":"Sichman","sequence":"additional","affiliation":[]},{"given":"Helder","family":"Coelho","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,15]]},"reference":[{"key":"7_CR1","first-page":"67","volume":"25","author":"N.A. Baas","year":"1997","unstructured":"Baas N.A. and Emmenche C. (1997). On Emergence and Explanation. In: Intellectica, 25, pp.67\u201383.","journal-title":"Intellectica"},{"key":"7_CR2","unstructured":"Cariani P. (1991). Emergence and Artificial Life. In: Artificial Life II, Addison Wesley, pp.775\u2013797."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Castelfranchi C., Miceli M. and Cesta A. (1992). Dependence relations among autonomous agents, Proceedings of MAAMAW92, Elsevier Science, pp. 215\u2013227.","DOI":"10.1145\/152683.152697"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Ciancarini P. and Wooldridge M. (eds), 2001. Agent-Oriented Software Engineering, Springer-Verlag, LNAI1957.","DOI":"10.1007\/3-540-44564-1"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1012919018402","volume":"7","author":"R. Conte","year":"2001","unstructured":"Conte R, Edmonds B., Moss S. and Sawyer R.K. (2001). Sociology and Social Theory in Agent Based Social Simulation:A Symposium. In Computational and Mathematical Organization Theory, 7(3), pp.183\u2013205.","journal-title":"Computational and Mathematical Organization Theory"},{"issue":"2\u20133","key":"7_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/0022250X.1995.9990160","volume":"20","author":"R. Conte","year":"1995","unstructured":"Conte R. and Sichman J.S. (1995). DEPNET: How to benefit from social dependence, In: Journal of Mathematical Sociology, 20(2\u20133), 161\u2013177.","journal-title":"Journal of Mathematical Sociology"},{"key":"7_CR7","first-page":"65","volume":"6","author":"F. Cornelissen","year":"2001","unstructured":"Cornelissen F., Jonker C.M. and Treur J. (2001). Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning. In Series in Defeasible Reasoning and Uncertainty Management Systems, vol.6, Kluwer Academic Publishers, pp. 65\u201382.","journal-title":"Series in Defeasible Reasoning and Uncertainty Management Systems"},{"key":"7_CR8","unstructured":"David N., Sichman J.S. and Coelho H. (2001). Agent-Based Social Simulation with Coalitions in Social Reasoning, In Moss S. and Davidsson P., editors, Multi-Agent-Based Simulation, Springer Verlag, LNAI, v.1979, pp.244\u2013265."},{"key":"7_CR9","unstructured":"Davidsson P. (2002). Agent Based Social Simulation: A Computer Science View, In JASSS, vol.5, no.1, http:\/\/jasss.soc.surrey.ac.uk\/5\/1\/7.html ."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Epstein J. and Axtell R. (1996). Growing Artificial Societies: Social Science from the Bottom Up, MIT press.","DOI":"10.7551\/mitpress\/3374.001.0001"},{"key":"7_CR11","unstructured":"Gilbert N. and Troitzsch K. (1999). Simulation for the Social Scientist, Open University Press."},{"key":"7_CR12","unstructured":"Langton C., Minar N., and Burkhart R., The Swarm Simulation System: A Tool for studying complex systems, http:\/\/www.swarm.org ."},{"key":"7_CR13","unstructured":"Law A. and Kelton W.D. (1991). Simulating Modelling and Analysis, McGraw-Hill."},{"key":"7_CR14","unstructured":"Lienz B. and Swanson E. (1980). Software Maintenance Management, Addison-Wesley."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"McCabe T. and Butler W. (1989). Design Complexity Measurement and Testing, In: CACM, vol.32, no.12.","DOI":"10.1145\/76380.76382"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Mills D., Dyer M. and Linger R. (1987). Cleanroom software engineering, In: IEEE Software, vol.4, no.2.","DOI":"10.1109\/MS.1987.231413"},{"key":"7_CR17","unstructured":"Pressman R. (1994). Software Engineering: A Practitioner\u2019s Approach, McGraw-Hill."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Sargent R.G. (1999). Validation and Verification of Simulation Models. In: Winter Simulation Conference, IEEE, Piscataway, NJ, 39\u201348.","DOI":"10.1145\/324138.324148"},{"key":"7_CR19","unstructured":"Sommerville I. (1998). Software Engineering, Addison Wesley."},{"key":"7_CR20","unstructured":"Troitzsch K.G., Brassel K, Mohring M. and Shumacher E. (1997). Can Agents Cover All the World?, In: Simulating Social Phenomena, Springer-Verlag, LNEMS 456, pp.55\u201372."},{"key":"7_CR21","unstructured":"Marietto M.B., David N., Sichman J.S. and Coelho H. (2002). Requirements Analysis of Agent-Based Simulation Platforms: State of the Art and New Prospects. In this volume."},{"key":"7_CR22","unstructured":"Sichman J.S. (1998). DEPINT: Dependence-based coalition formation in an open multiagent scenario, In Journal of Artificial Societies and Social Simulation, 1 (2), http:\/\/www.soc.survey.ac.uk\/JASSS\/1\/2\/3.html ."},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01299065","volume":"1","author":"R. Axtell","year":"1996","unstructured":"Axtell R., Axelrod R., J.M. Epstein and M.D. Cohen (1996). Aligning Simulation Models: A Case Study and Results, Computational and Mathematical Organization Theory 1(2), pp. 123\u2013141.","journal-title":"Computational and Mathematical Organization Theory"},{"issue":"5","key":"7_CR24","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"R. DeMillo","year":"1979","unstructured":"DeMillo R., Lipton R. and Perlis A. (1979). Social Processes and proofs of theorems and programs, Communications of the ACM 22, 5 (May), 271\u2013280.","journal-title":"Communications of the ACM"},{"key":"7_CR25","unstructured":"Antunes L., Nobrega L. and Coelho H. (2002). BVG choice in Axerold\u2019s tribute model. In this volume."},{"key":"7_CR26","unstructured":"Baas N.A. (1994). Emergence, Hierarchies and Hyperstructures. In Langton C. (eds), Artificial Life III, Santa Fe Studies in the Sciences of Complexity, Proceedings, Volume XVII, Addison-Wesley."},{"key":"7_CR27","unstructured":"Sawyer R.K. (2001). Simulating Emergence and Downward Causation in Small Groups. In Moss S. and Davidsson P., editors, Multi-Agent-Based Simulation, Springer Verlag, LNAI, v.1979, pp.49\u201367."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent-Based Simulation II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36483-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:37:53Z","timestamp":1556739473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36483-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006077","9783540364832"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-36483-8_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}