Orientadores : Mario Jino, Jose Carlos Maldonado / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:48:53Z (GMT). No. of bitstreams: 1 Vergilio_SilviaRegina_M.pdf: 9458832 bytes, checksum: f193fe990b607ed61231148f4090f549 (MD5) Previous issue date: 1992 / Resumo: Neste trabalho são discutidos os principais problemas introduzidos por caminhos não executávels nas atividades de teste de programas, já que é indecidível se um caminho é ou não executável. O trabalho enfoca tres aspectos principais: caracterização, previsão e determinação de caminhos não executávels. Os estudos foram realizados baseando-se em trabalhos existentes na literatura e em resultados obtidos durante a condução de um "benchmark". Para Isto, utilizou-se uma ferramenta de testes, denominada POKE-TOOL, que apoia a aplicação dos critérios Potenciais-Usos. São apresentados: as principais causas de não executabilidade encontradas nas rotinas do "benchmark"; modelos para avaliar a influência de várias características de programas, no número de caminhos não executávels e modelos para avaliar a relação entre o número de predicados do caminho e sua executabilidade. A condução do "benchmark" também ressaltou a importância da aplicação das heurístlcas propostas por Frankl [FRA87] para identificação de elementos não executávels; além disto, levou a proposição de extensôes para esta heuristica e viabilizou a identificação de facilidades que foram incorporadas na POKE-TOOL, para tratamento de tais elementos. Adicionalmente, são apresentados: os principais aspectos de implementação das heurísticas e facilidades propostas, um exemplo de utilização das rotinas implementadas e uma avaliação preliminar do desempenho das mesmas / Abstract: This work discusses the main problems introduced by Infeasible paths in the activities of program testing, since it is undecidable whether a path is or is not feasible. The work focuses on three major aspects: cIassification, estimation and determination of infeasible paths. The studies were accomplished based on results reported in the literature and on results taken from the application of a benchmark. To conduct the benchmark, the testing tool used was the POKE-TOOL, a tool which supports the Potential-Uses criteria. The main causes for non-feasibility of paths in the benchmark's routlnes are presented. Models which assess the influence of several characteristics of programs on the number of infeasible paths and models to assess the relation between the number of predicates in paths and their feasibility are also presented. The benchmark pointed out the relevance of the Frankl's heuristic application (FRA87) for identification of infeasible paths; more over, has made possible the proposition of extension to this heuristic and of facilities to deal with such paths, which were incorporated into POKE-TOOL. The heuristics and main aspects of implementation of the proposed facilities are presented; an example of utilization and a prelimliary assessment of the effectiveness of the implementation are also shown / Mestrado / Mestre em Engenharia Elétrica

Orientador: Maria Cecilia Calani Baranauskas / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T13:57:43Z (GMT). No. of bitstreams: 1 Vianna_ElaineCristinadaCruzMiravete_M.pdf: 1540668 bytes, checksum: e10a4efbecece224fde0da7443b74973 (MD5) Previous issue date: 2004 / Resumo: As atividades relacionadas à gestão de requisitos representam um papel fundamental no processo de construção de um sistema de software, especialmente por constituírem o alicerce para as fases subseqüentes do desenvolvimento. A gestão dos requisitos de software compreende fundamentalmente a elicitação, análise, especificação e gerência dos requisitos (solicitações e necessidades dos usuários), válidos para o sistema a ser desenvolvido. Alguns processos emergentes de Engenharia de Software têm dado grande ênfase à atividade de especificação de requisitos, em detrimento à sua elicitação. Neste trabalho buscamos conciliar os aspectos relevantes de diferentes abordagens para a Engenharia de Requisitos, visando obter uma metodologia híbrida para a gestão de requisitos de software de natureza interativa. Para este objetivo, combinamos as principais características do Processo Unificado à abordagem do Design Participativo. Visando a aplicação e verificação prática dos conceitos preconizados por tais abordagens, elegemos um projeto real de desenvolvimento de software para a condução de um estudo de caso, onde técnicas de Design Participativo foram empregadas de forma complementar à metodologia proposta pelo Processo Unificado. Como resultado, identificamos e analisamos os principais pontos fracos e pontos fortes inerentes a cada uma dessas perspectivas e propusemos um método para a gestão de requisitos fundamentado nos aspectos positivos de cada uma delas / Abstract: Activities concerned with requirements management play a fundamental role into the software system construction process, especially to establish the foundation for the development of subsequent phases. The requirements management fundamentally includes the requirements (user's requests and needs) elicitation, analysis, specification, validation and administration, valid to the system to be built. Some emergent Software Engineering processes have given more emphasis to the requirements specification activity, than to its elicitation. In this work we investigate the relevant aspects of different approaches to the Requirements Engineering, aiming at obtaining a hybrid methodology to the interative nature of software requirements management. For this purpose, we combined the main features of the Unified Process with the Participatory Design approach. Aiming the practical application of concepts provided by these approaches, we selected an actual software development project for the conduction of a case study, in which Participatory Design techniques where applied in a complementar way to the methodology proposed by the Unified Process. As a result, we identified and analised the main weaknesses and strenghts inherent to each of these perspectives and proposed a method for requirements management based on the positive aspects of each one / Mestrado / Engenharia de Computação / Mestre em Computação

Orientador : Antonio Luiz Pires Valente / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-07-13T23:14:50Z (GMT). No. of bitstreams: 1 Augusto_Fabio_M.pdf: 4828457 bytes, checksum: 1e3ea41d92671d426ef782462d6d6b18 (MD5) Previous issue date: 1990 / Mestrado

Orientador : Rogerio Drummond / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T21:35:46Z (GMT). No. of bitstreams: 1 Castro_LeirtonSaraivade_M.pdf: 2344776 bytes, checksum: ddbcebcccecb7c7b0954c67981760c8e (MD5) Previous issue date: 1992 / Resumo: A variedade de produtos de software para grupo têm aumentado nos últimos anos. A evolução da tecnologia de comunicação e a proliferação das redes de computadores proporcionaram o ambiente adequado para o aparecimento destes produtos. A maioria dos sistemas cooperativos descritos na literatura requer hardware especial e não suporta versões simplificadas (sem imagem ou som). Este trabalho aborda um sistema de baixo custo que funciona em equipamentos padrão...Observação: O resumo, na integra, podera ser visualizado no texto completo da tese digital / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação

Orientador: Geovane Cayres Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Ciência da Computação / Made available in DSpace on 2018-07-15T22:52:57Z (GMT). No. of bitstreams: 1 Flach_ChristinaBrandaovon_M.pdf: 2640522 bytes, checksum: b35cefe30727638e4fe8354334391c57 (MD5) Previous issue date: 1992 / Resumo: Este trabalho examina transformações como aspecto central em ambientes de projeto de software e propõe: (a) um conjunto básico de operações de projeto que constitui um núcleo de transformações, (b) um esquema de coordenação composto por dois mecanismos básicos - um genérico, baseado em blackboards, e um específico, baseado em um mecanismo de encadeamento regressivo sobre relações entre objetos, e (c) uma arquitetura genérica de referência para a implementação de ambientes de apoio a desenvolvimento transformacional. As idéias propostas foram exercitadas em um protótipo concreto, programado em C. / Abstract: This work is meant to approach transformations as the main aspect of software design envi­ronments. We propose: (a) a basic set of design operations that constitutes a kernel of trans­formations, (b) a scheme of coordination composed of two kind of mechanisms - a generic one, based on the blackboard mechanism, and a specific one, based on a backward chaining mechanism over relationships among objects, and (c) a generic reference architecture from which we can discuss software development environments that support transformations. Our proposal is demonstrated through a concrete prototype, written in C. / Mestrado / Mestre em Ciência da Computação

Orientador: João Mauricio Rosario / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-19T04:42:22Z (GMT). No. of bitstreams: 1 Coutinho_LuizAntoniodeFreitas_M.pdf: 3937974 bytes, checksum: 5b567e4c5949e776589257fbd6f720ce (MD5) Previous issue date: 1993 / Resumo: Nesta dissertação é elaborado e implementado um ambiente integrado de desenvolvimento de software aplicado a robotica ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: This dissertation presents an integrated environment for software development dedicated to robotics...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Mecânica

Submitted by Gabriella Santiago (gabriella.santiago.cac@gmail.com) on 2015-09-30T14:49:02Z No. of bitstreams: 1 2010_CarlosdeOliveiraBravo.pdf: 4142723 bytes, checksum: 6394235f956c3053b150d0f92ad3a28b (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-09-30T15:41:28Z (GMT) No. of bitstreams: 1 2010_CarlosdeOliveiraBravo.pdf: 4142723 bytes, checksum: 6394235f956c3053b150d0f92ad3a28b (MD5) / Made available in DSpace on 2015-09-30T15:41:28Z (GMT). No. of bitstreams: 1 2010_CarlosdeOliveiraBravo.pdf: 4142723 bytes, checksum: 6394235f956c3053b150d0f92ad3a28b (MD5) / As atuais especificações da Web Semântica fornecem o suporte necessário para uma ampla variedade de aplicações. Essas aplicações necessitam, em sua grande maioria, da manipulação direta ou indireta de ontologias. As ontologias desempenham, portanto, um papel crucial dentro do universo da Web Semântica, funcionando como fontes confiáveis de conhecimento a partir das quais é possível estabelecer e validar relações entre os elementos conceituais tratados pelas aplicações. A tarefa de elaboração de uma ontologia não é trivial, pois requer o trabalho de pessoas com razoável grau de conhecimento nas áreas de aplicação envolvidas. No contexto da Web, essa tarefa torna-se mais difícil devido ao grande dinamismo na geração de conteúdo a ser tratado pelas aplicações. Este trabalho descreve um processo e um protótipo implementado para obtenção automática de ontologias baseadas na combinação de elementos gramaticais presentes em textos da língua portuguesa, permitindo uma operação de fusão com ontologias pré-existentes. A idéia é que a partir da análise sintática de textos da Web a ferramenta estruture, de acordo com uso de um analisador sintático (PALAVRAS) e uma ontologia base da língua portuguesa, os elementos gramaticais identificados no texto, associando-os às definições encontradas em ontologias pré-existentes. A ontologia resultante do processo constitui-se em um artefato útil para a Web Semântica, por manter a estrutura do texto original sob diferentes perspectivas de relacionamentos entre os conceitos, os quais são viabilizados pelas ontologias pré-existentes fundidas à ontologia preliminar. ______________________________________________________________________________________________ ABSTRACT / The current Semantic Web specifications provide the necessary support for a broad range of applications. Most of these applications require direct or indirect ontology handling. Therefore the ontologies play a crucial role in the universe of the Semantic Web, working trustful sources of knowledge, from which one can establish and validate relationships between conceptual elements related to applications. The task of developing an ontology is not trivial, as it requires the work of people with reasonable degree of knowledge in the considered application field. In the Web´s context, this task becomes more difficult due to the large dynamism in the generation of content related to the applications. This work describes a process and a prototype to automatically obtain ontologies through the combination of grammatical elements present in texts written in Portuguese language, allowing the merge to preexisting ontologies. The idea is to start from the syntactic analysis of Web texts, where the tool structures the elements using a syntactical analyser (PALAVRAS) and a basic Portuguese language ontology to associate to definitions found in preexisting ontologies. The resulting ontology is a useful artifact to the Semantic Web, once it reflects the original syntactic structure of the texts from different perspectives of concept relationships, which are allowed by the preexisting ontologies merged to the preliminar ontology.

Dissertação (mestrado)-Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2011. / Submitted by Luciana Monteiro de Barros Reis (lmbreis@gmail.com) on 2012-01-11T14:16:26Z No. of bitstreams: 1 2011_BrunoSouzaCostaPedroso.pdf: 2601476 bytes, checksum: b23810de1299cd885d6bc5f8edee7ec8 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2012-01-17T14:16:51Z (GMT) No. of bitstreams: 1 2011_BrunoSouzaCostaPedroso.pdf: 2601476 bytes, checksum: b23810de1299cd885d6bc5f8edee7ec8 (MD5) / Made available in DSpace on 2012-01-17T14:16:51Z (GMT). No. of bitstreams: 1 2011_BrunoSouzaCostaPedroso.pdf: 2601476 bytes, checksum: b23810de1299cd885d6bc5f8edee7ec8 (MD5) / Os resultados das pesquisas empíricas sobre os efeitos do Desenvolvimento Guiado por Testes (TDD) ainda são muito pouco conclusivos. Uma das maiores dificuldades enfrentadas por esses estudos reside em controlar o grau de conformidade dos programadores com a técnica. Algumas abordagens já foram propostas para medir essa variável de forma automática, mas muito ainda se tem para evoluir a esse respeito. O objetivo desse trabalho é o de analisar e propor melhorias ao sistema Zorro, bem como o de avaliar o resultado dessas modificações, por meio de um experimento piloto, como estudo de viabilidade. Duas melhorias principais são propostas ao sistema de regras original, uma das quais pode aumentar a precisão do sistema em cerca de 8%. ______________________________________________________________________________ ABSTRACT / The results of empirical research on the effects of Test Driven Development (TDD) are not very conclusive so far. One of the main difficulties of such studies is in controlling the level of conformance of programmers with the technique. Some approaches have already been proposed to automatically evaluate this variable, but there are still many improvement opportunities left. The intent of this work is to analyze and propose improvements to the Zorro system, and to evaluate this modifications through a pilot experiment, as a viability study. Two main improvements have been proposed to the original rules system, one of them can make the system about 8% more precise.

Made available in DSpace on 2018-08-01T23:38:07Z (GMT). No. of bitstreams: 1 tese_11485_Cleber-de-Araujo_dissertacao_PPGGP.pdf: 2803857 bytes, checksum: 5eecc4f961f2e38c0acd1b64df1d23c0 (MD5) Previous issue date: 2017-09-25 / Esta pesquisa teve como objetivo geral a compreensão de aspectos humanos, culturais e políticos, preponderantes e dificultadores nos processos de desenvolvimento de Sistemas de Informação (SI) no Ministério Público Federal (MPF), tendo como objetivos específicos o mapeamento dos problemas que podem gerar perda de produtividade e eficácia no desenvolvimento de SI, a sua categorização, a identificação de problemas raízes e a proposição de ações para melhorias no processo. O estudo pretendeu gerar novas perspectivas quanto ao desenvolvimento de software com mais qualidade para o MPF e instituições públicas que tenham características semelhantes. O instrumento utilizado para as obtenções de dados e informações foi a conversação com especialistas. Neste trabalho foi adotada uma abordagem qualitativa, em função dos participantes se mostrarem ativos e cada objeto de pesquisa ter sido tratado de forma diferenciada, a partir de delineamento, obtenção e transcrição de dados e informações, bem como de planejamento, para realização da análise e proposição de melhorias. Por ter expectativa de aplicação prática dos resultados encontrados, a partir de referências teóricas e técnicas, tem-se, nesta pesquisa, a dimensão aplicada. Em função da maneira pela qual a informação foi investigada, trata-se de uma pesquisa-ação, uma vez que o pesquisador atuou de forma cíclica, nas tarefas de planejamento, registro e avaliação de resultados, até alcançar os resultados desejados. A partir das transcrições das conversações, as informações foram interpretadas com base na técnica de análise de conteúdo, buscando a representatividade, a homogeneidade, a pertinência e a exclusividade. A seguir, foram apresentadas sugestões para implementação de melhorias, com propostas de priorização das ações e as restrições do presente trabalho com sugestões para novas pesquisas. Ao final, obteve-se o seguinte produto técnico aplicado: Processo para estabelecimento de novos padrões na área de desenvolvimento de Sistemas de Informação no Ministério Público Federal, cujo conteúdo o insere na linha de pesquisa Gestão de Operações no Setor Público. Palavras chave: Sistemas de Informação Gerencial; Software Desenvolvimento; Gerenciamento de processos de negócios (BPM).

Orientador: Eleri Cardozo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T02:00:45Z (GMT). No. of bitstreams: 1 Oliveira_PauloCesarde_M.pdf: 7452777 bytes, checksum: aae138ce9addb0005849f8005a759399 (MD5) Previous issue date: 1997 / Resumo: Os termos agente e sistema baseado em agentes têm sido amplamente utilizados em diversas áreas da computação, havendo uma grande diversidade no que diz respeito á sua definição. Este trabalho se concentra em agentes de software (chamados apenas de agentes), e os define como programas autônomos que recebem autoridade de seus donos para agir em favor deles na execução de tarefas. Visando completar as tarefas que Ihes foram atribuídas, agentes podem se comunicar com outros programas, com o ambiente que os abriga ou com seres humanos. Sistemas baseados em agentes são sistemas de software compostos por agentes. Agente móvel é um tipo particular de agente que têm a capacidade de se mover numa rede de computadores heterogênea a fim de realizar as tarefas delegadas por seu dono. A abordagem de sistemas baseados em agentes móveis (SBAMs) constitui-se como uma alternativa potencialmente singular para o desenvolvimento de sistemas em rede ¿ ou distribuídos. Entretanto, trata-se de uma abordagem emergente e de recente concentração de esforços de pesquisa e desenvolvimento. Desta forma, há um número muito reduzido de experiências de utilização de SBAMs e infra-estruturas para suporte a SBAMs estão em fase inicial de construção. Esta dissertação visa explorar sistemas baseados em agentes móveis como abordagem de desenvolvimento de sistemas distribuídos. O domínio de qualidade de serviços em sistemas multimídia distribuídos foi escolhido como estudo de caso para avaliar se as potencialidades de tal abordagem se mostram verdadeiras na prática. Assim sendo, um conjunto de infra-estruturas para suporte a SBAMs foi examinado e um SBAM para monitoramento de qualidade de serviço foi desenvolvido. Considerações a respeito da experiência de desenvolvimento e da aplicação do SBAM desenvolvido em casos de teste concluem esta dissertação / Abstract: The terms agent and agent-based system are widely used in many areas of the computer science field, with no consensus definition for them. On the contrary, there is a diversity of understanding about the meaning of these terms. This work focuses on software agents (therein called as agents), and defines them as autonomous programs that act on behalf of their owners. In order to accomplish tasks assigned by their owners, agents may communicate with other programs, with their hosting environment, and with human beings. Agent-based systems are software systems composed byagents. Mobile agent is a particular type of agent which has the ability to move across a heterogeneos computer network aiming to accomplish tasks delegated by its owner. The mobile agent-based systems (MABS) approach constitutes a potentially unique alternative for networked (or distributed) systems development. However, it is an emerging approach, and research and development efforts have been recently focused on it. Thus, there is a reduced number of experiences regarding the deployment of this approach, and frameworks for supporting MABS are in early phases of development. This dissertation aims to explore mobile agent-based systems as an approach for distributed systems development. The domain of quality of service in distributed multimedia systems was chosen as a case study, in order to evaluate if the potential of MABS is accomplished in real contexts. Thus, a set of of frameworks for supporting MABS was examined and a MABS for quality of service monitoring was developed. Considerations regarding this development experience and the employment of the developed MABS in test cases conclude this dissertation / Mestrado / Mestre em Engenharia Elétrica