{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:24:11Z","timestamp":1725470651536},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540453765"},{"type":"electronic","value":"9783540460572"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11872283_5","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T00:11:14Z","timestamp":1158365474000},"page":"49-60","source":"Crossref","is-referenced-by-count":4,"title":["Modeling and Simulation of Tests for Agents"],"prefix":"10.1007","author":[{"given":"Martina","family":"Gierke","sequence":"first","affiliation":[]},{"given":"Jan","family":"Himmelspach","sequence":"additional","affiliation":[]},{"given":"Mathias","family":"R\u00f6hl","sequence":"additional","affiliation":[]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Dam, K.H., Winikoff, M.: Comparing agent-oriented methodologies. In: Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, Melbourne (2003)","DOI":"10.1007\/978-3-540-25943-5_6"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","volume-title":"Engineering Societies in the Agents World","author":"V. Hilaire","year":"2000","unstructured":"Hilaire, V., Koukam, A., Gruer, P., M\u00fcller, J.P.: Formal specification and prototyping of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS, vol.\u00a01972, pp. 114\u2013127. Springer, Heidelberg (2000)"},{"key":"5_CR3","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn., Van Nostrand Reinhold, New York (1990)"},{"key":"5_CR4","volume-title":"Testing Object-Oriented Software: Life Cycle Solutions","author":"I. Bashir","year":"2000","unstructured":"Bashir, I., Goel, A.L.: Testing Object-Oriented Software: Life Cycle Solutions. Springer, Heidelberg (2000)"},{"key":"5_CR5","unstructured":"Prenninger, W., Pretschner, A.: Abstractions for model-based testing. In: Proc. Test and Analysis of Component-based Systems (TACoS 2004), Barcelona (2004)"},{"key":"5_CR6","first-page":"78","volume-title":"Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping (RSP 2003)","author":"G. Hahn","year":"2003","unstructured":"Hahn, G., Philipps, J., Pretschner, A., Stauner, T.: Prototype-based tests for hybrid reactive systems. In: Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping (RSP 2003), pp. 78\u201385. IEEE Computer Society, Los Alamitos (2003)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/336512.336555","volume-title":"ICSE - Future of SE Track","author":"H. Kopetz","year":"2000","unstructured":"Kopetz, H.: Software engineering for real-time: a roadmap. In: ICSE - Future of SE Track, pp. 201\u2013211. ACM Press, New York (2000)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Himmelspach, J., Uhrmacher, A.M.: A component-based simulation layer for JAMES. In: Proc. of the 18th Workshop on Parallel and Distributed Simulation (PADS), May 16-19, Kufstein, Austria, pp. 115\u2013122 (2004)","DOI":"10.1145\/1013329.1013349"},{"key":"5_CR9","volume-title":"Theory of Modeling and Simulation","author":"B.P. Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, London (2000)","edition":"2"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/384169.384173","volume":"11","author":"A.M. Uhrmacher","year":"2001","unstructured":"Uhrmacher, A.M.: Dynamic Structures in Modeling and Simulation - a Reflective Approach. ACM Transactions on Modeling and Simulation\u00a011(2), 206\u2013232 (2001)","journal-title":"ACM Transactions on Modeling and Simulation"},{"key":"5_CR11","volume-title":"Multifacetted Modelling and Discrete Event Simulation","author":"B.P. Zeigler","year":"1984","unstructured":"Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11423355_21","volume-title":"Engineering Societies in the Agents World V","author":"M. R\u00f6hl","year":"2005","unstructured":"R\u00f6hl, M., Uhrmacher, A.M.: Controlled experimentation with agents \u2013 models and implementations. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS, vol.\u00a03451, pp. 292\u2013304. Springer, Heidelberg (2005)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S0921-8890(03)00077-0","volume":"44","author":"M.E. Pollack","year":"2003","unstructured":"Pollack, M.E., Brown, L., Colbry, D., McCarthy, C.E., Orosz, C., Peintner, B., Ramakrishnan, S., Tsamardinos, I.: Autominder: An Intelligent Cognitive Orthotic System for People with Memory Impairment. Robotics and Autonomous Systems\u00a044, 273\u2013282 (2003)","journal-title":"Robotics and Autonomous Systems"},{"key":"5_CR14","unstructured":"Gierke, M.: Coupling Autominder and James. Master\u2019s thesis, University of Rostock (2004)"},{"key":"5_CR15","unstructured":"Gierke, M., Uhrmacher, A.M.: Modeling Elderly Behavior for Simulation-based Testing of Agent Software. In: Conceptual Modeling and Simulation CSM 2005 (2005)"},{"issue":"9-10","key":"5_CR16","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1080\/08839510290030499","volume":"16","author":"A.M. Uhrmacher","year":"2002","unstructured":"Uhrmacher, A.M., R\u00f6hl, M., Kullick, B.: The role of reflection in simulating and testing agents: An exploration based on the simulation system james. Applied Artificial Intelligence\u00a016(9-10), 795\u2013811 (2002)","journal-title":"Applied Artificial Intelligence"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Rudary, M., Singh, S., Pollack, M.E.: Adaptive Cognitive Orthotics: Combining Reinforcement Learning and Constraint-Based Temporal Reasoning. In: 21st International Conference on Machine Learning (2004)","DOI":"10.1145\/1015330.1015411"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/JPROC.2002.805820","volume":"91","author":"J. Sifakis","year":"2003","unstructured":"Sifakis, J., Tripakis, S., Yovine, S.: Building models of real-time systems from application software. Proceedings of the IEEE\u00a091(1), 100\u2013111 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR19","unstructured":"MathWorks: Simulink (2005), http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"5_CR20","first-page":"218","volume-title":"Advanced Planning Technology: Technological Achievements of the ARPA\/Rome Laboratory Planning Initiative","author":"M.E. Pollack","year":"1996","unstructured":"Pollack, M.E.: Planning in dynamic environments: The DIPART system. In: Tate, A. (ed.) Advanced Planning Technology: Technological Achievements of the ARPA\/Rome Laboratory Planning Initiative, pp. 218\u2013225. AAAI Press, Menlo Park (1996)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Anderson, S.D.: Simulation of multiple time-pressured agents. In: Proc. of the Wintersimulation Conference, WSC 1997, Atlanta (1997)","DOI":"10.1145\/268437.268515"},{"issue":"1","key":"5_CR22","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1609\/aimag.v37i1.2642","volume":"22","author":"H. Kitano","year":"2001","unstructured":"Kitano, H., Tadokoro, S.: RoboCup Rescue: A grand challenge for multiagent and intelligent systems. AI Magazine\u00a022(1), 39\u201352 (2001)","journal-title":"AI Magazine"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-48213-X_8","volume-title":"SDL 2001: Meeting UML","author":"A. Wiles","year":"2001","unstructured":"Wiles, A.: ETSI testing activities and the use of TTCN-3. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 123\u2013128. Springer, Heidelberg (2001)"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/5.910852","volume":"89","author":"B. Schattenberg","year":"2001","unstructured":"Schattenberg, B., Uhrmacher, A.M.: Planning agents in James. Proceedings of the IEEE\u00a089(2), 158\u2013173 (2001)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR25","unstructured":"DIANE-Projekt: Dienste in Ad-Hoc-Netzen (2005), http:\/\/www.ipd.uni-karlsruhe.de\/DIANE"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11872283_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T17:39:24Z","timestamp":1683567564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11872283_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540453765","9783540460572"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11872283_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}