{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:22:43Z","timestamp":1761805363271,"version":"3.41.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319922300"},{"type":"electronic","value":"9783319922317"}],"license":[{"start":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T00:00:00Z","timestamp":1528761600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-92231-7_16","type":"book-chapter","created":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T14:47:26Z","timestamp":1528728446000},"page":"151-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Software Development for Autonomous and Social Robotics Systems"],"prefix":"10.1007","author":[{"given":"Chong","family":"Sun","sequence":"first","affiliation":[]},{"given":"Jiongyan","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Cong","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Barry Chew Bao","family":"King","sequence":"additional","affiliation":[]},{"given":"Yuwei","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"Galle","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Spichkova","sequence":"additional","affiliation":[]},{"given":"Milan","family":"Simic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,6,12]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s12369-015-0286-y","volume":"7","author":"M. Alemi","year":"2015","unstructured":"Alemi, M., Meghdari, A., Ghazisaedy, M.: The impact of social robotics on L2 learners anxiety and attitude in English vocabulary acquisition. In: Social Robotics, pp. 523\u2013535 (2015)","journal-title":"International Journal of Social Robotics"},{"key":"16_CR2","unstructured":"Bauer, V., Broy, M., Irlbeck, M., Leuxner, C., Spichkova, M., Dahlweid, M., Santen, T.: Survey of modeling and engineering aspects of self-adapting & self-optimizing systems. TU M\u00fcnchen, Technical report (TUM-I130307) (2013)"},{"key":"16_CR3","unstructured":"Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Cyber-virtual systems: simulation, validation & visualization. In: ENASE (2014)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-319-27218-4_10","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"JO Blech","year":"2015","unstructured":"Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Visualization, simulation and validation for cyber-virtual systems. In: Maciaszek, L., Filipe, J. (eds.) Evaluation of Novel Approaches to Software Engineering, pp. 140\u2013154. Springer, Cham (2015)"},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/s12369-013-0202-2","volume":"5","author":"J-J Cabibihan","year":"2013","unstructured":"Cabibihan, J.-J., Javed, H., Ang, M., Aljunied, S.M.: Why robots? A survey on the roles and benefits of social robots in the therapy of children with autism. Int. J. Soc. Robot. 5(4), 593\u2013618 (2013)","journal-title":"Int. J. Soc. Robot."},{"key":"16_CR6","unstructured":"Christianto, A., Chen, P., Walawedura, O., Vuong, A., Feng, J., Wang, D., Spichkova, M.: Software engineering solutions to support vertical transportation. CoRR (2017)"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"2249","DOI":"10.1016\/j.procs.2017.08.137","volume":"112","author":"Leroy Clunne-Kiely","year":"2017","unstructured":"Clunne-Kiely, L., Idicula, B., Payne, L., Ronggowarsito, E., Spichkova, M., Simic, M., Schmidt, H.: Modelling and implementation of humanoid robot behaviour. In: 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, pp. 2249\u20132258. Elsevier (2017)","journal-title":"Procedia Computer Science"},{"key":"16_CR8","unstructured":"Dobi, S., Gleirscher, M., Spichkova, M., Struss, P.: Model-based hazard and impact analysis. Technische Universit\u00e4t M\u00fcnchen, Technical report (TUM-I1333) (2013)"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0921-8890(02)00374-3","volume":"42","author":"BR Duffy","year":"2003","unstructured":"Duffy, B.R.: Anthropomorphism and the social robot. Robot. Auton. Syst. 42(3), 177\u2013190 (2003)","journal-title":"Robot. Auton. Syst."},{"key":"16_CR10","unstructured":"Duffy, B.R., Rooney, C., O\u2019Hare, G.M., O\u2019Donoghue, R.: What is a social robot? In: 10th Irish Conference on AI&CS (1999)"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"246","DOI":"10.4028\/www.scientific.net\/AMM.373-375.246","volume":"373","author":"M Elbanhawi","year":"2013","unstructured":"Elbanhawi, M., Simic, M., Jazar, R.: Autonomous robots path planning: an adaptive roadmap approach. Appl. Mech. Mater. 373, 246\u2013254 (2013)","journal-title":"Appl. Mech. Mater."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Eyssel, F., Kuchenbrandt, D., Bobinger, S., de Ruiter, L., Hegel, F.: \u2018If you sound like me, you must be more human\u2019: on the interplay of robot and user features on human-robot acceptance and anthropomorphism. In: 7th ACM\/IEEE International Conference on Human-Robot Interaction, pp. 125\u2013126. ACM (2012)","DOI":"10.1145\/2157689.2157717"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Feil-Seifer, D., Mataric, M.J.: Defining socially assistive robotics. In: International Conference on Rehabilitation Robotics, pp. 465\u2013468. IEEE (2005)","DOI":"10.1109\/ICORR.2005.1501143"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Glas, D., Satake, S., Kanda, T., Hagita, N.: An interaction design framework for social robots. In: Robotics: Science and Systems, vol. 7, p. 89 (2012)","DOI":"10.15607\/RSS.2011.VII.014"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-34103-8_11","volume-title":"Social Robotics","author":"Barbara Klein","year":"2012","unstructured":"Klein, B., Cook, G.: Emotional robotics in elder care-a comparison of findings in the UK and Germany. In: Social Robotics, pp. 108\u2013117 (2012)"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-319-39083-3_6","volume-title":"Reliable Software Technologies-Ada-Europe 2016","author":"M Laali","year":"2016","unstructured":"Laali, M., Liu, H., Hamilton, M., Spichkova, M., Schmidt, H.W.: Test case prioritization using online fault detection information. In: Bertogna, M., Pinho, L., Qui\u00f1ones, E. (eds.) Reliable Software Technologies-Ada-Europe 2016, pp. 78\u201393. Springer International Publishing, Cham (2016)"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s12369-013-0178-y","volume":"5","author":"Iolanda Leite","year":"2013","unstructured":"Leite, I., Martinho, C., Paiva, A.: Social robots for long-term interaction: a survey. In: Social Robotics, pp. 291\u2013308 (2013)","journal-title":"International Journal of Social Robotics"},{"key":"16_CR18","volume-title":"Robot Ethics: The Ethical and Social Implications of Robotics","author":"P Lin","year":"2011","unstructured":"Lin, P., Abney, K., Bekey, G.A.: Robot Ethics: The Ethical and Social Implications of Robotics. MIT Press, Cambridge (2011)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Liu, H., Spichkova, M., Schmidt, H.W., Sellis, T., Duckham, M.: Spatio-temporal architecture-based framework for testing services in the cloud. In: 24th Australasian Software Engineering Conference, pp. 18\u201322. ACM (2015)","DOI":"10.1145\/2811681.2811685"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Liu, H., Spichkova, M., Schmidt, H.W., Ulrich, A., Sauer, H., Wieghardt, J.: Efficient testing based on logical architecture. In: 24th Australasian Software Engineering Conference, pp. 49\u201353. ACM (2015)","DOI":"10.1145\/2811681.2811691"},{"issue":"2","key":"16_CR21","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/aur.1527","volume":"9","author":"P Pennisi","year":"2016","unstructured":"Pennisi, P., Tonacci, A., Tartarisco, G., Billeci, L., Ruta, L., Gangemi, S., Pioggia, G.: Autism and social robotics: a systematic review. Autism Res. 9(2), 165\u2013183 (2016)","journal-title":"Autism Res."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Sabanovic, S., Michalowski, M., Simmons, R.: Robots in the wild: observing human-robot social interaction outside the lab. In: Advanced Motion Control, pp. 596\u2013601. IEEE (2006)","DOI":"10.1109\/AMC.2006.1631758"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-25504-5_4","volume-title":"Social Robotics","author":"Maha Salem","year":"2011","unstructured":"Salem, M., Eyssel, F., Rohlfing, K., Kopp, S., Joublin, F.: Effects of gesture on the perception of psychological anthropomorphism: a case study with a humanoid robot. In: Social Robotics, pp. 31\u201341 (2011)"},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-34103-8_10","volume-title":"Social Robotics","author":"Michihiro Shimada","year":"2012","unstructured":"Shimada, M., Kanda, T., Koizumi, S.: How can a social robot facilitate children\u2019s collaboration? In: Social Robotics, pp. 98\u2013107 (2012)"},{"key":"16_CR25","unstructured":"Simic, M., Spichkova, M., Schmidt, H., Peake, I.: Enhancing learning experience by collaborative industrial projects. In: ICEER 2016, pp. 1\u20138 (2016)"},{"key":"16_CR26","unstructured":"Spichkova, M., Schmidt, H., Peake, I.: From abstract modelling to remote cyberphysical integration\/interoperability testing. In: Improving Systems and Software Engineering Conference (2013)"},{"key":"16_CR27","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-3-319-19830-9_25","volume-title":"Intelligent Interactive Multimedia Systems and Services","author":"M Spichkova","year":"2015","unstructured":"Spichkova, M., Simic, M.: Towards formal modelling of autonomous systems. In: Damiani, E., Howlett, R., Jain, L., Gallo, L., De Pietro, G. (eds.) Intelligent Interactive Multimedia Systems and Services, pp. 279\u2013288. Springer, Cham (2015)"},{"key":"16_CR28","first-page":"268","volume-title":"Intelligent Interactive Multimedia Systems and Services","author":"M Spichkova","year":"2017","unstructured":"Spichkova, M., Simic, M.: Autonomous systems research embedded in teaching. In: De Pietro, G., Gallo, L., Howlett, R., Jain, L. (eds.) Intelligent Interactive Multimedia Systems and Services, pp. 268\u2013277. Springer, Cham (2017)"},{"key":"16_CR29","doi-asserted-by":"publisher","first-page":"1299","DOI":"10.1016\/j.procs.2015.08.196","volume":"60","author":"M Spichkova","year":"2015","unstructured":"Spichkova, M., Simic, M., Schmidt, H.: Formal model for intelligent route planning. Procedia Comput. Sci. 60, 1299\u20131308 (2015)","journal-title":"Procedia Comput. Sci."},{"key":"16_CR30","doi-asserted-by":"publisher","first-page":"1609","DOI":"10.1016\/j.procs.2016.08.208","volume":"96","author":"M Spichkova","year":"2016","unstructured":"Spichkova, M., Simic, M., Schmidt, H., Cheng, J., Dong, X., Gui, Y., Liang, Y., Ling, P., Yin, Z.: Formal models for intelligent speed validation and adaptation. Procedia Comput. Sci. 96, 1609\u20131618 (2016)","journal-title":"Procedia Comput. Sci."},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Sun, C., Zhang, J., Liu, C., King, B.C.B., Zhang, Y., Galle, M., Spichkova, M.: Towards software development for social robotics systems. arXiv preprint arXiv:1712.08348 (2017)","DOI":"10.1007\/978-3-319-92231-7_16"},{"key":"16_CR32","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-34103-8_4","volume-title":"Social Robotics","author":"Gabriele Trovato","year":"2012","unstructured":"Trovato, G., Kishi, T., Endo, N., Hashimoto, K., Takanishi, A.: A cross-cultural study on generation of culture dependent facial expressions of humanoid social robot. In: Social Robotics, pp. 35\u201344 (2012)"},{"issue":"1","key":"16_CR33","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s12369-008-0006-y","volume":"1","author":"James E. Young","year":"2008","unstructured":"Young, J.E., Hawkins, R., Sharlin, E., Igarashi, T.: Toward acceptable domestic robots: applying insights from social psychology. In: Social Robotics, pp. 95\u2013108 (2009)","journal-title":"International Journal of Social Robotics"},{"key":"16_CR34","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-34103-8_17","volume-title":"Social Robotics","author":"Sophya Yumakulov","year":"2012","unstructured":"Yumakulov, S., Yergens, D., Wolbring, G.: Imagery of disabled people within social robotics research. In: Social Robotics, pp. 168\u2013177 (2012)"}],"container-title":["Smart Innovation, Systems and Technologies","Intelligent Interactive Multimedia Systems and Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92231-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T02:20:16Z","timestamp":1751682016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92231-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,12]]},"ISBN":["9783319922300","9783319922317"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92231-7_16","relation":{},"ISSN":["2190-3018","2190-3026"],"issn-type":[{"type":"print","value":"2190-3018"},{"type":"electronic","value":"2190-3026"}],"subject":[],"published":{"date-parts":[[2018,6,12]]}}}