{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:14:33Z","timestamp":1730222073962,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/fie.2016.7757574","type":"proceedings-article","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T16:41:54Z","timestamp":1480610514000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Combined Methodology for Theoretical Computing"],"prefix":"10.1109","author":[{"given":"Gabriel Spadon","family":"de Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro Henrique","family":"de Andrade Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronaldo Celso Messias","family":"Correia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Celso","family":"Olivete","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danilo Medeiros","family":"Eler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rogerio Eduardo","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CISTI.2016.7521568"},{"key":"ref10","article-title":"Teaching and learning data structures supported by computers: An experiment using cadilag tool","author":"cardim","year":"2012","journal-title":"5th Iberian Conference on Information Systems and Technologies CISTI"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.16920\/jeet\/2015\/v29i2\/83072"},{"key":"ref12","first-page":"121","author":"procopiuc","year":"1996","journal-title":"Visualization and interaction in the computer science formal languages course with jflap ” in fie"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/782941.782975"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1007996.1008002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2004.1408709"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCOINS.2014.6868436"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1999747.1999851"},{"journal-title":"Visual automata simulator","year":"2004","author":"bovet","key":"ref18"},{"journal-title":"Auger-ferramenta de apoio ao ensino de autômates finitos","year":"2004","author":"szymanski","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CISTI.2015.7170466"},{"key":"ref4","article-title":"Desenvolvimento de uma ferramenta para auxilio na aprendizagem de linguagens formais-automatograph","author":"kienetz","year":"2006","journal-title":"Salão de iniciação Cieniífica (18 2006 Porto Alegre RS) Livro de resumos"},{"key":"ref27","first-page":"2","author":"leblanc","year":"2004","journal-title":"Statistics Concepts and Applications for Science"},{"journal-title":"JFLAP An Interactive Formal Languages and Automata Package","year":"2006","author":"rodger","key":"ref3"},{"key":"ref6","article-title":"Em busca de uma prática pedagógica inclusiva: Uma experiência no ensino de estruturas de dados mediada por animações gráficas","author":"ferreira","year":"2007","journal-title":"XV Workshop sobre Educação em Informática Anais do XXVII Congresso da SBC Rio de Janeiro"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CISTI.2015.7170465"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2014.7043992"},{"key":"ref8","first-page":"1","article-title":"Situating constructionism","volume":"36","author":"papert","year":"1991","journal-title":"Constructionism"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/273133.274308"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121460"},{"key":"ref9","article-title":"Uma visão do cenãrio nacional do ensino de algoritmos e programação: uma proposta baseada no paradigma de programação visual","volume":"23","author":"da silva ribeiro","year":"2012","journal-title":"Anais do XX Simpósio Brasileiro de Informática na Educação"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2015.7344185"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(59)90362-6"},{"journal-title":"Compilers Principles Techniques and Took","year":"1986","author":"aho","key":"ref22"},{"journal-title":"The Design and Analysis of Computer Algorithms","year":"1974","author":"aho","key":"ref21"},{"key":"ref24","volume":"5","author":"diverio","year":"2009","journal-title":"Teoria da Computação Máquinas Universais e Computabilidade"},{"journal-title":"Linguagens Formais e Autômatos","year":"1998","author":"menezes","key":"ref23"},{"journal-title":"Implementação de linguagens de programação compiladores","year":"2000","author":"price","key":"ref26"},{"journal-title":"Formal Languages and Their Relation to Automata","year":"1969","author":"hopcroft","key":"ref25"}],"event":{"name":"2016 IEEE Frontiers in Education Conference (FIE)","start":{"date-parts":[[2016,10,12]]},"location":"Erie, PA, USA","end":{"date-parts":[[2016,10,15]]}},"container-title":["2016 IEEE Frontiers in Education Conference (FIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7749394\/7757333\/07757574.pdf?arnumber=7757574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,21]],"date-time":"2020-01-21T09:10:53Z","timestamp":1579597853000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7757574\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/fie.2016.7757574","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}