{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:41:35Z","timestamp":1725871295594},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319498140"},{"type":"electronic","value":"9783319498157"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49815-7_4","type":"book-chapter","created":{"date-parts":[[2016,11,12]],"date-time":"2016-11-12T14:12:09Z","timestamp":1478959929000},"page":"59-77","source":"Crossref","is-referenced-by-count":0,"title":["An Approach for Verifying Educational Robots"],"prefix":"10.1007","author":[{"given":"Sidney","family":"Nogueira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taciana Pontual","family":"Falc\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Itamar","family":"Moraes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iverson","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,13]]},"reference":[{"key":"4_CR1","unstructured":"Anais do XXVI Simp\u00f3sio Brasileiro de Inform\u00e1tica na Educa\u00e7\u00e3o (SBIE 2015) (2015)"},{"key":"4_CR2","unstructured":"Online judge, February 2016. https:\/\/en.wikipedia.org\/wiki\/Online_judge"},{"key":"4_CR3","unstructured":"RoboMind FURB (2016). http:\/\/robolab.inf.furb.br\/"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 \u2014 a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_13"},{"key":"4_CR5","unstructured":"Kitchen, R., Amsterdam, U.V.: RoboMind. http:\/\/robomind.net\/"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Lessa, V., Forigo, F., Teixeira, A., Licks, G.P.: Programa\u00e7\u00e3o de computadores e rob\u00f3tica educativa na escola: tend\u00eancias evidenciadas nas produ\u00e7\u00f5es do workshop de inform\u00e1tica na escola. In: Anais do Workshop de Inform\u00e1tica na Escola, vol. 21, p. 92 (2015)","DOI":"10.5753\/cbie.wie.2015.92"},{"key":"4_CR7","volume-title":"Concurrency: State Models & Java Programs","author":"J Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, New York (1999)"},{"issue":"3","key":"4_CR8","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s00165-012-0258-z","volume":"26","author":"S Nogueira","year":"2014","unstructured":"Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Aspects Comput. 26(3), 441\u2013490 (2014)","journal-title":"Formal Aspects Comput."},{"key":"4_CR9","unstructured":"Nogueira, S., et al.: Exercises Catalog and Paper Samples, August 2016. http:\/\/bit.ly\/2aYR2Q4"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-319-29473-5_9","volume-title":"Formal Methods: Foundations and Applications","author":"S Nogueira","year":"2016","unstructured":"Nogueira, S., Araujo, H.L.S., Araujo, R.B.S., Iyoda, J., Sampaio, A.: Automatic generation of test cases and test purposes from natural language. In: Corn\u00e9lio, M., Roscoe, B. (eds.) SBMF 2015. LNCS, vol. 9526, pp. 145\u2013161. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-29473-5_9"},{"key":"4_CR11","unstructured":"Oracle: Java JSE, August 2016. http:\/\/www.oracle.com\/"},{"key":"4_CR12","unstructured":"Papert, S.: A m\u00e1quina das crian\u00e7as. Artmed, Porto Alegre (1994)"},{"key":"4_CR13","unstructured":"Papert, S., Valente, J.A., Bitelman, B.: Logo: computadores e educa\u00e7\u00e3o. Brasiliense (1980)"},{"key":"4_CR14","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1998)"},{"key":"4_CR15","volume-title":"Understanding Concurrent System","author":"AW Roscoe","year":"2011","unstructured":"Roscoe, A.W.: Understanding Concurrent System. Springer, Heidelberg (2011)"},{"key":"4_CR16","first-page":"177","volume":"2007","author":"AW Roscoe","year":"2007","unstructured":"Roscoe, A.W., Hopkins, D.: SVA, a tool for analysing shared-variable programs. Proc. AVoCS 2007, 177\u2013183 (2007)","journal-title":"Proc. AVoCS"},{"key":"4_CR17","unstructured":"University of Oxford: FDR3 Web Site, May 2015"},{"issue":"3","key":"4_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"JM Wing","year":"2006","unstructured":"Wing, J.M.: Computational thinking. Commun. ACM 49(3), 33\u201335 (2006)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49815-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:27:50Z","timestamp":1498361270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49815-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319498140","9783319498157"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49815-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}