[pt] Inúmeras linguagens de programação oferecem suporte a finalizadores e referências fracas. Não obstante, de maneira geral esses mecanismos são relativamente pouco conhecidos e pouco usados por programadores. Mesmo entre pesquisadores e desenvolvedores de linguagens não existe muito consenso quanto à sua semântica, que varia consideravelmente entre diferentes implementações. Neste trabalho buscamos explorar os conceitos de finalizadores e de referências fracas, suprindo a ausência de uma especificação clara e abrangente, e permitindo uma melhor compreensão, implementação e uso dos mecanismos correspondentes. Como ponto de partida realizamos um amplo levantamento sobre como é feito o suporte a finalizadores e referências fracas em diferentes linguagens de programação, identificando as características comuns, os problemas, e as questões semânticas mais relevantes associadas às implementações consideradas. Para garantir uma maior precisão em nossa análise, utilizamos um modelo abstrato de uma linguagem de programação com gerenciamento automático de memória. Através deste modelo especificamos formalmente a semântica de finalizadores e referências fracas, incluindo descrições das suas principais variantes e mecanismos relacionados. Além disso, provamos certas propriedades inerentes a linguagens de programação com gerenciamento automático de memória, indicando como estas são afetadas pela introdução de finalizadores e referências fracas. Por fim, consideramos possíveis estratégias de implementação desses mecanismos em diferentes tipos de sistemas. Algumas das opções semânticas investigadas impõe um custo de processamento expressivo, o que frequentemente inviabiliza a sua adoção na prática. / [en] Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of finalizer and weak reference by discussing several important issues that, as far as we know, have not been explored by other authors. After presenting a survey on how finalizers and weak references are supported by actual programming languages, we thoroughly examine their semantics and discuss alternative implementation strategies. We also use an operational approach to develop a formal model for reasoning about garbage collection and its interaction with client programs. By explicitly representing low-level details, such as heap memory and its addresses, we were able to clearly specify memory management actions, and prove several important memory-related language invariants. Using this model we describe a formal semantics for finalizers and weak references, exploring some of its many subtleties. We believe that the topics covered here can serve as a relevant reference for further investigations, and also help to guide actual implementations.

[pt] A revisão da literatura científica é um relato crítico dos principais trabalhos em uma área ou tópico específico. Dessa forma, os autores buscam a literatura e apresentam os artigos relevantes de forma organizada por data de publicação e evolução de um tema de pesquisa. Revisões da literatura fornecem uma fotografia do estado da arte de um tópico de pesquisa. Através da seleção dos trabalhos mais importantes de uma certa área é possível identificar os autores mais especializados na área ou em determinados artigos, proporcionando assim uma solução para o problema de encontrar potenciais candidatos especialistas. Nesta tese estudaremos o problema de selecionar e visualizar os artigos mais relevantes que refletem a evolução de um tópico de pesquisa. Para isso, propomos uma abordagem visual colaborativa baseada em grafos para recomendar referências importantes. Apresentamos também a tarefa de encontrar e classificar os autores dado um artigo científico usando caminhos de citações relevantes. A partir de um ranking de referências, o valor da expertise dos autores é calculado. Uma metodologia é proposta para construir e atualizar o grafo de citações de forma colaborativa com os votos dos especialistas. / [en] The scientific literature review is a critical account of the main papers in a particular subject area or topic. In this way, the authors surveys the literature and present the relevant articles in an organized way by publication date and evolution of the research topic, which gives an overview of the state of the art in a subject. Through these relevant papers it is also possible to identify the most expert authors in the area or in certain papers, thus providing a solution to the problem of finding potential expert candidates. The main challenge of making a literature review is to identify the most relevant articles that reflect the evolution of the different research topics. In this thesis, we propose a visual collaborative approach that uses graphs to recommend important references. In addition, we introduce the task of searching and ranking authors given a target paper using relevant citation paths. From a ranking of references, the value of the author s expertise is calculated. A methodology is proposed in order to build and update the citation graph in a collaborative way with the expert s votes.

Submitted by Nadir Basilio (nadirsb@uninove.br) on 2019-03-18T19:12:04Z No. of bitstreams: 1 José Marcos Alves.pdf: 8358219 bytes, checksum: 2a46347e794efacfea82dc85cf1f5360 (MD5) / Made available in DSpace on 2019-03-18T19:12:04Z (GMT). No. of bitstreams: 1 José Marcos Alves.pdf: 8358219 bytes, checksum: 2a46347e794efacfea82dc85cf1f5360 (MD5) Previous issue date: 2018-12-14 / The distance education modality (EaD) has gained increasing importance in work environments for the continuous training of professionals; however, it weighs on the EaD a stigma of being considered a modality of low quality. In the Brazilian Judiciary, the EaD is responsible for the initial and continuous training of magistrates and servants. Therefore, the present research aims at identifying the quality indicators used to guide and understand the excellence in the production and supply of distance courses in work environments. For which we analyzed the offer of the course Introduction to Socio-Environmental Issues, produced by the Judicial School of the Regional Labor Court of the 2nd Region (EJUD2). For this challenge, the following questions were raised regarding the research problem: What are the guidelines that guide the design and the implementation of EaD in Brazil and EJUD2? What are the quality benchmarks for the distance modality, based on the national guidelines and academic productions in the area? What is the importance and contribution of Instructional Design in the design of courses offered in EaD, especially in EJUD2? Among the evidenced quality indicators, which ones are applied in the courses offered in EAD at EJUD2 and, consequently, are responsible for the excellence pointed out by the students of these courses? In this context, the general objective was to identify and analyze such indicators in order to understand the excellence of the online course under consideration. As for the specific objectives, they aimed to: i. To raise the history and guidelines that guide the design and implementation of Distance Education in Brazil, as well as in the judicial school of the Regional Labor Court of the 2nd Region - SP; ii. to understand the quality references for the distance modality, from the national guidelines and academic productions in the area; iii. to analyze the importance and the contribution of Instructional Design in the quality of the content design and courses offered in EaD; iv. indicate which are the quality indicators evidenced in the courses offered in EAD in EJUD2 responsible for excellence in results. The research adopted a qualitative exploratory approach to a case study. For this, the data of the student reaction evaluations, the tutor's report, and a questionnaire interview with a person in charge of the instructional designers team and with coordinator manager of the EJUD2 were analyzed. The theoretical framework used to base this research was centered on, among other authors: Behar (2009), Corrêa (2007), Freire (1996), Pierre Lèvy (2003), Andrea Filatro (2008), Gardner (1995), Terçariol (2016), in addition to the Quality Reference for Distance Higher Education, Distance Learning Manual within the scope of EJUD2 and also official documents of higher bodies that regulate EAD in the judiciary. The research identified the production of contents as a fundamental point in the quality of EaD. In addition, it has been verified that audiovisual content, inherent of the technological advances, a current and enriching language, that allows to work the ludic. It is believed that this research contributes to the studies focused on the valuation of EaD in work environments in order to assist in the delineation of new paradigms of quality of this emergent modality in Brazil. / La modalidad de Educación a Distancia (EaD) ha ganado cada vez más importancia en los espacios laborales para la formación continuada de profesionales; sin embargo, pesa sobre la EaD un estigma de ser considerada una modalidad de baja calidad. En el Poder Judicial brasileño, EaD es responsable de la formación inicial y continuada de magistrados y servidores. Por eso, la presente investigación tiene por objetivo la identificación de los indicadores de calidad utilizados para orientar y comprender la excelencia en la producción y oferta de cursos a distancia en espacios laborales. Para ello, se analizó la oferta del curso Introducción a Temas Socioambientales, producido por la Escuela Judicial del Tribunal Regional del Trabajo de la 2ª Región (EJUD2). Para este desafío, se plantearon las siguientes cuestiones dirigidas al problema de investigación: ¿cuáles son las directrices que orientan el diseño y la implementación de la EaD en Brasil y en la EJUD2? ¿Cuáles son los referentes de calidad para la modalidad a distancia, a partir de las directrices nacionales y producciones académicas en el área? ¿Cuál es la importancia y la contribución del diseño educativo en la concepción de cursos ofrecidos en EaD, en especial, en la EJUD2? Entre los indicadores de calidad evidenciados, ¿cuáles son aplicados en los cursos ofrecidos en EaD en la EJUD2 y, consecuentemente, son responsables de la excelencia apuntada por los estudiantes de esos cursos? En este contexto, el objetivo general fue identificar y analizar tales indicadores, a fin de comprender la excelencia del curso en línea en cuestión. En cuanto a los objetivos específicos, se dirigieron a: i. En el caso de la educación a distancia en Brasil, así como en la escuela judicial del Tribunal Regional del Trabajo de la 2ª Región - SP; ii. comprender los referenciales de calidad para la modalidad a distancia, a partir de las directrices nacionales y producciones académicas en el área; iii. analizar la importancia y la contribución del Diseño Instruccional en la calidad de la concepción de los contenidos y cursos ofrecidos en EaD; iv. señalar cuáles son los indicadores de calidad evidenciados en los cursos ofrecidos en EaD en la EJUD2 responsables por la excelencia en los resultados. La investigación adoptó un enfoque cualitativo de carácter exploratorio de un estudio de caso. Para ello, se analizaron los datos de las evaluaciones de reacción de los estudiantes, informe del tutor, además de entrevista, por medio de un cuestionario, con un responsable del equipo de diseñadores instruccionales y con el gestor de la coordinadora de EaD de la EJUD2. En el caso de las mujeres, la mayoría de las veces, la mayoría de las veces, la mayoría de las veces, (2016), además de los Referenciales de Calidad para la Educación Superior a Distancia, del Manual de Enseñanza a Distancia en el ámbito de la EJUD2 y también de documentos oficiales de órganos superiores de los que regulan la EaD en el poder judicial. La investigación identificó la producción de contenidos como un punto fundamental en la calidad de la EaD. Además, se verificó que el contenido audiovisual, propio de los avances tecnológicos, mientras un lenguaje actual y enriquecedora, proporciona un trabajo más lúdico. Se cree que esta investigación contribuye a los estudios orientados a la valorización de la EaD en espacios laborales, a fin de auxiliar aún en el delineamiento de nuevos paradigmas de calidad de esa modalidad emergente en Brasil. / A modalidade de Educação a Distância (EaD) tem ganhado cada vez mais importância nos espaços laborais para a formação continuada de profissionais; contudo, pesa sobre a EaD um estigma de ser considerada uma modalidade de baixa qualidade. No Judiciário brasileiro, a EaD é responsável pela formação inicial e continuada de magistrados e servidores. Por isso, a presente pesquisa tem por objetivo a identificação dos indicadores de qualidade utilizados para nortear e compreender a excelência na produção e oferta de cursos a distância em espaços laborais. Para tanto, analisou-se a oferta do curso Introdução a Temas Socioambientais, produzido pela Escola Judicial do Tribunal Regional do Trabalho da 2ª Região (EJUD2). Para este desafio, levantaram-se as seguintes questões voltadas ao problema de pesquisa: quais são as diretrizes que norteiam a concepção e a implementação da EaD no Brasil e na EJUD2? Quais são os referenciais de qualidade para a modalidade a distância, a partir das diretrizes nacionais e produções acadêmicas na área? Qual a importância e a contribuição do Design Instrucional na concepção de cursos ofertados em EaD, em especial, na EJUD2? Dentre os indicadores de qualidade evidenciados, quais são aplicados nos cursos ofertados em EaD na EJUD2 e, consequentemente, são responsáveis pela excelência apontada pelos estudantes desses cursos? Nesse contexto, o objetivo geral foi identificar e analisar tais indicadores, a fim de compreender a excelência do curso online em apreço. Quanto aos objetivos específicos, eles visaram: i. Levantar o histórico e as diretrizes que norteiam a concepção e implementação da Educação a Distância no Brasil, bem como na escola judicial do Tribunal Regional do Trabalho da 2ª Região - SP; ii. compreender os referenciais de qualidade para a modalidade a distância, a partir das diretrizes nacionais e produções acadêmicas na área; iii. analisar a importância e a contribuição do Design Instrucional na qualidade da concepção dos conteúdos e cursos ofertados em EaD; iv. sinalizar quais são os indicadores de qualidade evidenciados nos cursos ofertados em EaD na EJUD2 responsáveis pela excelência nos resultados. A pesquisa adotou uma abordagem qualitativa de caráter exploratória de um estudo de caso. Para isso, foram analisados os dados das avaliações de reação dos estudantes, relatório do tutor, além de entrevista, por meio de questionário, com um responsável pela equipe de designers instrucionais e com o gestor da coordenadoria de EaD da EJUD2. O arcabouço teórico utilizado para a fundamentação desta pesquisa foi centrado em, entre outros autores, Behar (2009), Corrêa (2007), Freire (1996), Pierre Lèvy (2003), Andrea Filatro (2008), Gardner (1995), Terçariol (2016), além dos Referenciais de Qualidade para a Educação Superior a Distância, do Manual de Ensino a Distância no âmbito da EJUD2 e também de documentos oficiais de órgãos superiores do que regulamentam a EaD no poder judiciário. A pesquisa identificou a produção de conteúdos como um ponto fundamental na qualidade da EaD. Além disso, verificou-se que o conteúdo audiovisual, próprio dos avanços tecnológicos, enquanto uma linguagem atual e enriquecedora, proporciona um trabalho mais lúdico. Acredita-se que esta pesquisa contribua para os estudos voltados à valorização da EaD em espaços laborais, a fim de auxiliar ainda no delineamento de novos paradigmas de qualidade dessa modalidade emergente no Brasil.

When it comes to the foreign language teaching in Sweden, there are, amongst others,  two recommendation direction documents that serve as help and support to achieve an appropriate acquisition and teaching of the foreign language. These documents are the courseplan for foreign languages by GY11 that is established by the Swedish department of education and the Common European Framework of Reference for languages, that’s been written by the European Council. In this essay, we have chosen to analyse wheather or not three Spanish textbooks, Caminando 3, Alegría 3 and Vistas 3, reflect the goals that are established in these two documents. When we analyse the textbooks we are only taking two aspects of language learning into account, these are the cultural aspect and the aspect of oral interaction. In order to complement the investigation we have handed out questionnaires to eight Spanish teachers, that work in a commune in the south of Sweden, where we ask them if they try to implement the goals established by these two documents in their teaching, if they have any knowledge about these documents, and whether they find that these three textbooks reflect these goals or not. The textbook analysis shows that all of the three books accomplish the goals set by the two direction documents when it comes to both aspects. According to our investigation the book that presents the best reflection is Vistas 3, which also is the only book published after the actualisation of the courseplan of GY11.                                                                        However, the majority of the teachers believe that they know the means of both direction documents. Even so, it is clear that the course plan is the document that is best known and that the mayority of the teachers have been educated about its goals, which is the opposite of the results of the same questions concerning the Common European Framework of Reference for languages. In addition, the majority of the teachers say that they do not try to implement the goals of this document in their teaching. Then again the results of the courseplan are different as it says that the majority of the teachers actually try to implement and take notice of this document, and its goals, in their teaching.           When it comes to the questionnaire results of the textbooks, Alegría 3 has the best results. It is considered to accomplish the established goals by both documents and to serve as a functionable tool in the teaching of the two aspects. The majority results of Vistas 3 and Caminando 3 is that they are only considerd to partly accomplish the goals of the documents of directions, and to partually serve as good tools in teaching of the two aspects. To sum up, the questionnaire results of Vistas 3 and the results of the analysis don’t correspond. This might be because of the lack of knowlede that one of the teachers, who wasusing this book, had concerning the documents of direction. In conclusion, it is important to remember that the textbooks shouldn’t be used as the only teaching material to follow the guidelines of the direction documents.