{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:04:16Z","timestamp":1740096256380,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642291128"},{"type":"electronic","value":"9783642291135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29113-5_15","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T17:11:51Z","timestamp":1332436311000},"page":"149-151","source":"Crossref","is-referenced-by-count":0,"title":["Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification"],"prefix":"10.1007","author":[{"given":"Rafael H.","family":"Bordini","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.tcs.2004.11.007","volume":"336","author":"C. Artho","year":"2005","unstructured":"Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M.R., Pasareanu, C.S., Rosu, G., Sen, K., Visser, W., Washington, R.: Combining test case generation and runtime verification. Theor. Comput. Sci.\u00a0336(2-3), 209\u2013234 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verification of multi-agent programs. In: ASE, pp. 69\u201378. IEEE (2008)","DOI":"10.1109\/ASE.2008.17"},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems\u00a012(2), 239\u2013256 (2006)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"6","key":"15_CR4","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1093\/logcom\/exp029","volume":"19","author":"R.H. Bordini","year":"2009","unstructured":"Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for agent verification. J. Log. Comput.\u00a019(6), 1385\u20131425 (2009)","journal-title":"J. Log. Comput."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Dennis, L., Fisher, M., Webster, M., Bordini, R.: Model checking agent programming languages. Automated Software Engineering, 1\u201359 (2011), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/s10515-011-0088-x","DOI":"10.1007\/s10515-011-0088-x"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10458-009-9084-y","volume":"20","author":"J.F. H\u00fcbner","year":"2010","unstructured":"H\u00fcbner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Autonomous Agents and Multi-Agent Systems\u00a020, 369\u2013400 (2010)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"3\/4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1504\/IJAOSE.2007.016266","volume":"1","author":"J.F. H\u00fcbner","year":"2007","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: Developing Organised Multi-Agent Systems Using the MOISE+ Model: Programming Issues at the System and Agent Levels. Agent-Oriented Software Engineering\u00a01(3\/4), 370\u2013395 (2007)","journal-title":"Agent-Oriented Software Engineering"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10458-008-9053-x","volume":"17","author":"A. Omicini","year":"2008","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Artifacts in the AandA meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems\u00a017(3), 432\u2013456 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10458-010-9140-7","volume":"23","author":"A. Ricci","year":"2011","unstructured":"Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Autonomous Agents and Multi-Agent Systems\u00a023(2), 158\u2013192 (2011)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng.\u00a010(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11537328_5","volume-title":"Model Checking Software","author":"W. Visser","year":"2005","unstructured":"Visser, W., Mehlitz, P.C.: Model Checking Programs with Java PathFinder. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol.\u00a03639, pp. 27\u201327. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29113-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:24:28Z","timestamp":1620127468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29113-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291128","9783642291135"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29113-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}