No description available.

As linguagens de Programação em Lógica que derivam da lógica de Horn, tal como o Prolog, têm mecanismos de resolução baseados em inferência que são bastante conhecidos. Embora o Prolog seja uma linguagem com bastante sucesso, o seu potencial é limitado pelo seu mecanismo de resolucão, que é baseado na resolucão SLD. O mecanismo de resolução SLD foi provado ser bastante ineficiente quando avalia programas logicos que têm ciclos infinitos ou sub-computações redundantes. A tabulacão é uma técnica de implementação bastante reconhecida e poderosa que permite ultrapassar essas limitações em sistemas de Prolog que são baseados na resolução SLD. Actualmente, a técnica de tabulação pode ser dividida em dois grandes mecanismos: por suspensão das pilhas de execução e por execução linear. Os mecanismos por suspensão das pilhas de execução são considerados terem melhores resultados, no entanto eles têm mais requisitos em termos de memória e são mais complexos de implementar do que os mecanismos lineares. O trabalho apresentado nesta tese pretende fazer um estudo aprofundado sobre os mecanismos de tabulação linear, de forma a perceber como as diferentes estratégias de tabulação afectam o fluxo de avaliação de um programa lógico e melhoram a performance geral do sistema. As estratégias SLDT e DRA são duas das mais conhecidas e bem sucedidas estratégias implementadas em sistemas de tabulação linear. Neste trabalho, propomos uma nova estratégia, que foi denominada de DRS, e apresentamos uma plataforma integrada, que suporta a combinação das três estratégias. A nossa implementação partilha o ambiente de execução e a maioria das estructuras de dados usadas pela máquina de execução do YapTab, que é o actual mecanismo de tabulação baseado em suspensão de pilhas do sistema Yap Prolog. A combinação de todas as estratégias e mecanismos na nossa plataforma permitiu-nos fazer uma primeira comparação justa entre todas as estratégias lineares, usadas sozinhas ou combinadas, e o mecanismo original do YapTab, de forma a perceber as vantagens e desvantagens de cada um. Os resultados obtidos, confirmam que os mecanismos baseados em suspensão têm, no geral, melhores resultados do que os mecanismos lineares, sendo que a diferença entre os resultados de ambos os sistemas pode ser em grande parte reduzida através da combinação correcta das melhores estratégias lineares. / Logic programming languages, such as Prolog, are derived from Horn Clause Logic and provide a well understood resolution based inference mechanism. Although Prolog is a popular and successful language, its potential is limited by the SLD resolution method on which it is based. SLD resolution was proven to be inecient when dealing with innite loops and redundant subcomputations. Tabled evaluation is a recognized and powerful technique that overcomes those limitations on traditional Prolog systems based on SLD resolution. We can distinguish two main categories of tabling mechanisms: suspension-based tabling and linear-based tabling. While suspension-based mechanisms are considered to obtain better results in general, they have more memory space requirements and are more complex and hard to implement than linear tabling mechanisms. The work presented on this thesis was focused on making a deep study about linear tabling, in order to understand how dierent linear tabling strategies can aect the evaluation ow of tabled programs and improve its overall performance. Arguably, the SLDT and DRA strategies are the two most successful extensions to standard linear tabled evaluation. In this work, we propose a new strategy, named DRS, and we present a framework, on top of the Yap system, that supports the combination of all these three linear tabling strategies. Our implementation shares the underlying execution environment and most of the data structures used to implement tabling in the YapTab engine, which is the actual suspension-based tabling mechanism of the Yap Prolog system. All these common features allows us to make a rst and fair comparison between the linear tabling strategies, used solely or combined with the other, and YapTab's suspension-based mechanism, in order to better understand the advantages and weaknesses of each feature. The obtained results conrmed that suspension-based mechanisms have, in general, better performance than linear tabling and that the dierence between both mechanisms can be highly reduced by using the correct combination of linear tabling strategies.

Made available in DSpace on 2015-02-04T21:22:50Z (GMT). No. of bitstreams: 1 clay.pdf: 639364 bytes, checksum: a538b798f6b2b7206e158c2646e3681b (MD5) Previous issue date: 2012-09-26 / Vivemos em tempos globalizados, os quais requerem das pessoas conhecimentos tecnológicos; e, no contexto dessa nova etapa da civilização humana, a computação assume papel de vanguarda no desenvolvimento tecnológico da ciência, da comunicação. Este trabalho tem, por objetivo, investigar o processo formativo dos alunos do ultimo semestre do curso de Ciências da Computação de uma instituição de ensino superior da Baixada Santista, em relação à elaboração do Trabalho de Conclusão de Curso (TCC). Fundamenta-se em estudos de Saviani (2008) e Zotti (2004) para o contexto histórico do surgimento desses cursos e nos trabalhos de Tedesco (2006) para a discussão da realidade globalizada, além de trazer os conceitos de Schön (2000) e de Demo (2002), em relação à pesquisa na Universidade e de Bianchetti e Machado (2002) quanto à orientação de trabalhos acadêmicos. A pesquisa, de abordagem qualitativa, foi realizada em 2010 e 2011, e utilizou, como instrumento metodológico, um questionário que foi aplicado aos alunos concluintes do Curso de Ciências da Computação. Os dados obtidos nessa etapa da pesquisa apontaram problemas quanto às dificuldades encontradas pelos alunos na realização do TCC, entre as quais, o tempo para fazer a pesquisa. Com base nessas informações, foi feita realizada a segunda etapa da pesquisa, que consistiu na entrevista feita com três professores orientadores de TCC, que atuam no curso investigado. Cruzando a fala dos sujeitos com os resultados obtidos na pesquisa anterior, foi possível observar que o tempo destinado à atividade do TCC não é suficiente para a condução de uma pesquisa no contexto defendido pelos autores e que a maior dificuldade dos alunos está em relacionar a prática e a teoria da área da computação. Tais reflexões sugerem a estruturação, na Graduação, de linhas e grupos de pesquisa, além de um maior tempo para desenvolvimento do trabalho de conclusão de curso.

Made available in DSpace on 2015-05-14T12:36:37Z (GMT). No. of bitstreams: 1 ArquivoTotalSamyr.pdf: 3835709 bytes, checksum: a2365f2f6f1663ccc261dc00848e6ee9 (MD5) Previous issue date: 2013-07-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Processes in software development, the adoption of agile methodologies has had significant growth. Realize the difficulty in carrying out a management information / communication in an agile environment. The objective of this work was to propose a management model of information / communication for agile development teams using the Scrum Framework, respecting the needs and particularities of this Framework. The methodology adopted for this work will be divided into three distinct phases consisting of the theoretical study, field research and creation of a proposed management model of information / communication in Scrum teams. / Em processos de desenvolvimento de software, a adoção de metodologias ágeis tem tido crescimento significativo. Percebe-se a dificuldade em realizar uma gestão da informação/comunicação em um ambiente ágil. Objetiva-se com este trabalho propor um modelo de gestão da informação/comunicação para equipes ágeis de desenvolvimento que utilizam a Framework Scrum, respeitando as necessidades e particularidades existentes neste Framework. A metodologia adotada para este trabalho será subdividida em três fases distintas que consistem no estudo teórico, pesquisa de campo e criação de uma proposta de modelo de gestão de informação/comunicação em equipes Scrum.

Made available in DSpace on 2016-04-27T16:57:09Z (GMT). No. of bitstreams: 1 Leila Souto de Assis.pdf: 1415291 bytes, checksum: 8da0dacd552d6ce3abdda6f94853ff39 (MD5) Previous issue date: 2011-10-17 / This thesis handles the use of Mathematics in the workplace, more specifically about the existence of relationship between Mathematics problem solving strategies and the software maintenance process in the computer developers‟ workplace. The adopted methodology was Grounded Theory (GT), under Glaser, Strauss, Corbin and Charmaz‟ perspectives. It has been used, as the data collecting technique, semi-structured interviews as well as GRUMPS tool to record all developers‟ interactions during their daily duty. We analyzed the current practices of thirty four developers observed and interviewed during the exercise of their profession in their corporate environment. The exploratory research indicated characteristics of mathematical thought during the developers‟ professional problem solving process. As an outcome, we concluded that problem solving strategies in Mathematics, connected to the reality of this type of specialists may potentially contribute to the computational systems maintenance process. This would happen because, in Computer Science, the comprehension of pre-existing programs, and the attention to not insert new issues based on the changes performed, are crucial skills to ensure the success of this type of professional in the market place / Esta tese trata do uso da Matemática nas práticas profissionais, mais especificamente da existência de aproximação entre as estratégias de resolução de problemas em Matemática e o processo de manutenção de sofwares no ambiente de trabalho de programadores de computador. A metodologia adotada foi a Grounded Theory (GT), na visão de Glaser, Strauss, Corbin e Charmaz. Foi utilizado, como técnica de coleta de dados, entrevistas semi-estruturadas bem como o aplicativo GRUMPS para registro das interações dos programadores durante a execução cotidiana de seu trabalho. Foram analisadas as práticas de trinta e quatro programadores observados e entrevistados durante o exercício de sua profissão em seu ambiente corporativo. A pesquisa exploratória indicou características do pensamento matemático na resolução de problemas do cotidiano dos profissionais participantes deste estudo. Como resultado, concluímos que as estratégias de resolução de problemas na Matemática, aproximadas à realidade destes especialistas podem potencialmente contribuir para o processo de manutenção de sistemas computacionais. Isto porque na Computação a compreensão dos programas pré-existentes, e o cuidado em não se inserir novos problemas em função de alterações realizadas, são características fundamentais para garantir o sucesso desse tipo de perfil profissional no mercado de trabalho

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-12-10T13:29:38Z No. of bitstreams: 1 Dissertação - Adriano Honorato Braga - 2013.pdf: 1269065 bytes, checksum: 31a4446602e6fc177149b700de63b216 (MD5) / Rejected by Erika Demachki (erikademachki@gmail.com), reason: on 2014-12-10T13:30:49Z (GMT) / Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-12-15T16:01:05Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Adriano Honorato Braga - 2013.pdf: 1269065 bytes, checksum: 31a4446602e6fc177149b700de63b216 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2014-12-15T16:30:34Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Adriano Honorato Braga - 2013.pdf: 1269065 bytes, checksum: 31a4446602e6fc177149b700de63b216 (MD5) / Made available in DSpace on 2014-12-15T16:30:34Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Adriano Honorato Braga - 2013.pdf: 1269065 bytes, checksum: 31a4446602e6fc177149b700de63b216 (MD5) Previous issue date: 2013-10-15 / Scientific studies about bibliographic productions in specific areas of science are becoming common, mainly in the last decade. Such investigations usually make use of bibliometric indices to evaluate relevance of the actors that take part in scientific production process, such as: authors, institutions, venues, and subfields of the scientific area being considered. Many studies have investigated the scientific production in computer science under different views. In this work, its presented an analysis about the production of scientific article in computer science and an analysis of citations among subfields, derived from article citation network. The work present novelty not only because it considers many common sense fields in computer science, but also because it presents citation related measures chronologically. The following bibliometric measures were used: number of publications in each subfield, number of citations received by a subfield, Impact Factor, PageRank, and a measure of diversity of subfields that cite a given subfield. Most of those metrics were proposed to study articles, web pages or scientific journals and they had to be adapted to be applied to the subfield analysis. This work has derived many interesting information to computer science community. It presents an historical evolution of the computer science subfields, showing how interest in publishing in subfields and how citations among subfields have evolved during the years. Some trends are revealed, some patterns are recognized to be stable along the time and some subfields are becoming less attractive than others. / Trabalhos que analisam as produções bibliográficas nos mais variados ramos da ciência têm se tornados comuns, principalmente na última década. Tais análises geralmente utilizam-se de índices ou medidas propostas para avaliar relevância de diferentes atores envolvidos no processo de produção científica, tais como: autores, instituições, veículos de publicação e subáreas do ramo da ciência considerado. Vários trabalhos têm investigado a produção científica em ciência da computação sob diversos aspectos. Neste trabalho é apresentado um estudo sobre a produção de artigos científicos nas subáreas da computação, bem como uma análise das citações entre as subáreas, derivadas das citações existentes nos artigos pertencentes a cada subárea. Esse estudo apresenta novidade não apenas pela abrangência das subáreas da computação analisadas, mas principalmente por levar em consideração o aspecto cronológico (ano de publicação) do comportamento de cada subárea sob diferentes índices bibliométricos: quantidade de publicações, quantidades de citações recebidas, PageRank, Fator de impacto e um índice para aferir se uma determinada subárea é citada diversificadamente por várias áreas ou se as citações são feitas principalmente por determinado grupo de subáreas. Algumas dessas medidas utilizadas tradicionalmente para mensurar relevância de artigos ou veículos de publicação e tiveram que ser adaptadas para a análise de subáreas. O trabalho permitiu derivar informações interessantes para a comunidade científica em ciência da computação. É apresentada a evolução histórica das subáreas da computação, mostrando como o interesse por autores e como as citações entre subáreas têm mudado ao longo do tempo. Algumas tendências são reveladas, alguns padrões são reconhecidos como sendo cronologicamente estáveis e algumas subáreas têm se tornado menos atrativas do que outras.