Dissertação (Mestrado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação, 2014. / Submitted by Andre Sousa de Sena (andresena1512@icloud.com) on 2014-08-13T17:40:20Z No. of bitstreams: 1 2014_FernandoAntôniodeAraújoChacondeAlbuquerque.pdf: 3444462 bytes, checksum: 16519516b7e60d515f463e57441f2be1 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2014-08-13T17:54:11Z (GMT) No. of bitstreams: 1 2014_FernandoAntôniodeAraújoChacondeAlbuquerque.pdf: 3444462 bytes, checksum: 16519516b7e60d515f463e57441f2be1 (MD5) / Made available in DSpace on 2014-08-13T17:54:11Z (GMT). No. of bitstreams: 1 2014_FernandoAntôniodeAraújoChacondeAlbuquerque.pdf: 3444462 bytes, checksum: 16519516b7e60d515f463e57441f2be1 (MD5) / A pesquisa relatada nesta dissertação investigou o desenvolvimento e uso de um modelo de framework de arquitetura da informação. O modelo de framework foi desenvolvido a partir de informações em The Open Group Architecture Framework (TOGAF), Project Management Body of Knowledge (PMBOK) Guide, Método de Arquitetura da Informação Aplicada (MAIA) e em outras fontes. Esta dissertação inclui resultados de pesquisa bibliográfica acerca de arquitetura da informação, frameworks e métodos de arquitetura da informação, sistemas para organização da informação, frameworks de gestão de projetos, processos de desenvolvimento de software; inclui proposta de modelo de framework de arquitetura da informação; inclui resultado do uso do modelo de framework proposto na descrição da arquitetura da informação em uma comunidade voltada ao desenvolvimento de software aberto. ______________________________________________________________________________ ABSTRACT / The research reported in this dissertation has investigated the development and use of an information architecture framework model. The framework model was developed employing information from The Open Group Architecture Framework (TOGAF), Project Management Body of Knowledge (PMBOK) Guide, Método de Arquitetura da Informação Aplicada (MAIA) and other sources. This dissertation includes the results of a bibliographic research on information architecture, information architecture frameworks and methods, information organization systems, project management frameworks, software development processes; includes the proposal of a framework model for information architecture; includes the results of a case study in which the proposed framework model was employed to partially describe the information architecture in a community engaged in open source software development.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração, Contabilidade e Ciência da Informação e Documentação, Departamento de Ciência da Informação e Documentação, 2009. / Submitted by Raquel Viana (tempestade_b@hotmail.com) on 2010-04-14T20:09:10Z No. of bitstreams: 1 2009_MarcosViniciusAmorimFGuimaraes.pdf: 1370512 bytes, checksum: 70ec1b43a016365499951efb6321692a (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2010-04-16T18:04:02Z (GMT) No. of bitstreams: 1 2009_MarcosViniciusAmorimFGuimaraes.pdf: 1370512 bytes, checksum: 70ec1b43a016365499951efb6321692a (MD5) / Made available in DSpace on 2010-04-16T18:04:02Z (GMT). No. of bitstreams: 1 2009_MarcosViniciusAmorimFGuimaraes.pdf: 1370512 bytes, checksum: 70ec1b43a016365499951efb6321692a (MD5) Previous issue date: 2009 / Pesquisa exploratória, com dados quantitativos, que teve como objetivo verificar de que forma se processa o compartilhamento de informação e conhecimento entre os membros das equipes de desenvolvimento de software em organizações brasileiras de desenvolvimento de software, com base nas teorias de gestão da informação e do conhecimento. A literatura pesquisada mostrou a existência de facilitadores e barreiras ao compartilhamento de informação e conhecimento em equipes, e foi a base para a definição das variáveis de pesquisa. A coleta de dados se deu por meio de questionário eletrônico com escala de Likert, disponibilizado online, e respondido por 313 membros de equipes de desenvolvimento de software, contatados diretamente ou por meio de fóruns e listas de discussão na internet. Como resultado, a análise fatorial exploratória identificou a existência de cinco fatores que agregam as variáveis pesquisadas e explicam a influência dessas variáveis na percepção quanto ao compartilhamento de informação e conhecimento. Os dados obtidos sugerem que o repositório de informações da organização, o comportamento de compartilhamento dos membros das equipes de desenvolvimento de software, a estrutura organizacional, a confiabilidade das informações e o acesso a internet, estão entre os fatores mais importantes para o entendimento do compartilhamento de informação e conhecimento em equipes de desenvolvimento de software. ___________________________________________________________________________________ ABSTRACT / Exploratory research, using quantitative data, which aimed to verify how information and knowledge sharing works among members of software development teams from Brazilian software development organizations, based on theories of information and knowledge management. The searched literature has shown the existence of facilitators and barriers to sharing information and knowledge in teams, and was the basis for the variables definition in this research. The data werw collected through an electronic questionnaire with Likert scale, available online, and answered by 313 members of software development teams, contacted directly or through forums and discussion lists on the internet. As a result, exploratory factor analysis identified the existence of five factors that aggregate the variables and explain the influence of these variables in perceptions about the sharing of knowledge and information. The data suggest that the organization's repository of information, the sharing behavior of members of software development teams, organizational structure, the reliability of the information and access of the internet, are among the most important factors for understanding the information and knowledge sharing in software development teams.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração, Contabilidade e Ciência da Informação e Documentação, Departamento de Ciência da Informação e Documentação, 2009. / Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2010-04-16T12:34:48Z No. of bitstreams: 1 2009_RobertoDuartePdeLemos.pdf: 2214612 bytes, checksum: bf365859348df81b8fe8de5b094de12d (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2010-04-16T18:12:12Z (GMT) No. of bitstreams: 1 2009_RobertoDuartePdeLemos.pdf: 2214612 bytes, checksum: bf365859348df81b8fe8de5b094de12d (MD5) / Made available in DSpace on 2010-04-16T18:12:12Z (GMT). No. of bitstreams: 1 2009_RobertoDuartePdeLemos.pdf: 2214612 bytes, checksum: bf365859348df81b8fe8de5b094de12d (MD5) Previous issue date: 2009-08 / A ciência da informação tem ampliado suas áreas de atuação, como parte da influência de suas características interdisciplinares. Uma das disciplinas correlatas em que ela tem atuado é na ciência da computação, com o uso de modelos de gestão da informação para engenharia de software. O desenvolvimento de sistemas de informação tornou-se uma atividade crítica para boa parte das organizações, em função de sua dependência dos sistemas para suas atividades operacionais e gerenciais. A dificuldade das empresas de desenvolvimento de software em entregar no prazo sistemas que atendam as exigências dos usuários, levou a adoção de técnicas de engenharia e modelos de maturidade, com objetivo de tornar a atividade mais previsível, em termos de prazos de entrega e qualidade dos sistemas. Entretanto, apenas as soluções técnicas não atenderam as expectativas dos clientes, e uma das alternativas avaliadas foi a associação entre engenharia de software e conceitos e modelos de gestão da informação e conhecimento. Esta pesquisa avaliou modelos de gestão da informação utilizados em processos de desenvolvimento de software, e identificou os elementos chave para a construção de um modelo de gestão da informação para ser integrado ao processo do Serpro de desenvolvimento de software (Processo Serpro de Desenvolvimento de Soluções - PSDS). O objetivo é que a futura utilização destes elementos em um modelo de gestão da informação para o PSDS melhore aspectos relacionados ao reuso de informações em projetos de software, e permita a redução de prazos e melhoria da qualidade dos sistemas de informação desenvolvidos pelo Serpro. _________________________________________________________________________________ ABSTRACT / The interdisciplinary characteristics of information science have expanded its influence on other disciplines. One of the main correlated disciplines is computer science, specially with the association of information management models and software engineering. Information systems development has become a critical activity in most organizations, due to its reliance on systems for their operational activities and management. The difficulty of software development companies to deliver systems that meet user requirements led to adoption of maturity models and engineering techniques, with the aim of making the activity more predictable in terms of quality and delivery times. However, technical solutions alone were not able to met customers expectations, and one of the alternatives evaluated was the association between software engineering and concepts of knowledge and information management. This research evaluated management information models used in software development processes, and identified key elements to build a model of information management to be integrated into PSDS (Serpro process of software development). The goal is that future use of these elements allow the integration of PSDS and a model of information management, and lead to improve information reuse in systems development and implementation, and allows a reduction of development time, and a quality improvement of information systems developed by Serpro.

Dissertação (mestrado)–Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2013. / Submitted by Letícia Gomes T. da Silva (leticiasilva@bce.unb.br) on 2013-11-25T18:53:42Z No. of bitstreams: 1 2013_ArmandoAmorimFerreiraVidigalJunior.pdf: 5061873 bytes, checksum: b71d7391a78f5d81c6e2e66a2915e04d (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2013-11-26T19:40:18Z (GMT) No. of bitstreams: 1 2013_ArmandoAmorimFerreiraVidigalJunior.pdf: 5061873 bytes, checksum: b71d7391a78f5d81c6e2e66a2915e04d (MD5) / Made available in DSpace on 2013-11-26T19:40:18Z (GMT). No. of bitstreams: 1 2013_ArmandoAmorimFerreiraVidigalJunior.pdf: 5061873 bytes, checksum: b71d7391a78f5d81c6e2e66a2915e04d (MD5) / Para que os sistemas baseados em SOA obtenham os benefícios esperados, os princípios conhecidos da engenharia de software tradicional precisam ser adaptados para desenvolvimento orientado a serviços. São necessárias abordagens sistemáticas para a concepção, desenvolvimento e manutenção de sistemas orientados a serviços. Essa abordagem é conhecida como Engenharia de Software Orientada a Serviços - SOSE. A impossibilidade de utilização de metodologias de desenvolvimento SOA existentes, quer seja pela ausência de informações detalhadas ou, principalmente, pela desconsideração de forças de trabalho terceirizadas no processo, foi fator determinante para a elaboração deste trabalho. Para atingir o objetivo de criar uma metodologia de desenvolvimento de soluções baseadas em SOA, foram realizadas pesquisas bibliográficas e estudos de caso, tanto para sua elaboração como para sua validação em situação real de execução. A base da metodologia proposta é constituída de três pilares: a definição de unidades funcionais, onde são agrupadas tarefas e atividades técnicas relacionadas, definindo escopos claros de terceirização e responsabilidades; perfis profissionais, que explicitam as competências necessárias requeridas em cada etapa e; os processos e artefatos, que definem as atividades que devem ser realizadas e seus entregáveis. ______________________________________________________________________________ ABSTRACT / For systems based on SOA obtain the expected benefits, the known principles of traditional software engineering need to be adapted to service-oriented development. Systematic approaches are needed for the design, development and maintenance of service-oriented systems. This approach is known as Software Engineering Service Oriented - SOSE. The impossibility of using existing SOA development methodologies, either by lack of detailed information or mainly by disregard of outsourced workforces in the process, was the determining factor for the development of this work. To achieve the objective of creating a development methodology for SOA-based solutions, literature searches and case studies were conducted, for both its development and validation in the real implementation. The basis of the proposed methodology consists of three pillars: the definition of functional units, where tasks and technichal related activities are grouped, defining outsourcing and responsibilities clear scopes; professional profiles, that explain the skills required at each stage and; processes and artifacts, that define the activities that must be performed and their deliverables.

O emergente mercado de desenvolvimento de software para jogos eletrônicos oferece um campo favorável para iniciativas empreendedoras, pois é um setor que vem apresentando franco crescimento em nível mundial, tendo ultrapassado, em faturamento, no ano de 2001, a receita da indústria cinematográfica dos Estados Unidos. Em função desse crescimento, novos produtos de software e também de hardware são constantemente lançados para atender à crescente demanda do setor. No Brasil, este mercado está evoluindo, apesar de ser ainda incipiente e apresentar problemas estruturais. Existem empreendimentos que estão tendo um bom desempenho, inclusive exportando produtos. O objetivo deste trabalho foi identificar as características dos empreendimentos como atores do mercado, bem como aquelas de seus empreendedores. São apresentados os resultados de um estudo de múltiplos casos com cinco empresas brasileiras que desenvolvem jogos eletrônicos. Este é um mercado em que predominam os negócios via rede de contatos, as exportações, com contratos de outsourcing, e os padrões de qualidade são estabelecido internacionalmente. As principais características identificadas são que as empresas são pequenas, elativamente novas no mercado, desenvolvem sua própria tecnologia, algumas transformando resultados de pesquisas acadêmicas em produtos, têm capacidade de inovação e a maioria começou suas atividades sem investimento de capital de risco. Os empreendedores têm, em geral, formação técnica e algumas habilidades gerenciais, e, além disso, utilizam suas redes de contatos para expandir os negócios no exterior e estão altamente determinados a ter sucesso no mercado de jogos eletrônicos.

Made available in DSpace on 2018-08-01T23:40:27Z (GMT). No. of bitstreams: 1 tese_12259_Dissertação final Marco Chaves.pdf: 1169687 bytes, checksum: b7490f46754660fc8c8b3664d2485b5e (MD5) Previous issue date: 2018-04-20 / A adoção de metodologias ágeis para o desenvolvimento de software é considerada uma inovação na gestão de projetos e busca suprir as falhas apresentadas pelas tradicionais formas de gestão. O objetivo da presente pesquisa foi identificar os fatores críticos para o sucesso de projetos de desenvolvimento de software baseados em metodologias ágeis, a partir da visão dos membros das equipes. Para tanto, na primeira etapa da pesquisa foram identificados, por meio de uma revisão sistemática da literatura especializada, utilizando a metodologia ProKnow-C, os principais fatores críticos e as principais dimensões utilizadas para medir o sucesso dos projetos. O resultado da primeira etapa serviu como base teórica para elaboração do tópico guia, o instrumento de coleta de dados utilizado na segunda etapa, uma pesquisa de campo, realizada entre setembro e outubro de 2017, por meio de entrevistas semiestruturadas, cujo alvo foram membros de equipes de projetos de desenvolvimento de software. O lócus de atuação dos entrevistados foram empresas do mercado de Vitória. A análise dos dados, realizada por meio da imersão do pesquisador no corpus das entrevistas, identificou, principalmente, a necessidade de uma adequação do pensamento e do comportamento aos princípios ágeis, do alinhamento dos fatores críticos identificados às etapas dos projetos e os grandes desafios encontrados na adoção de metodologias ágeis para o desenvolvimento em larga escala. Foram identificados como relevantes os fatores Capacidade da Equipe, Envolvimento do Cliente, Ambiente de Equipe Ágil, Ambiente Organizacional Ágil, Compromisso Gerencial, Estratégia de Entrega e Gerenciamento do Projeto. Os resultados encontrados servem como referência para as equipes de projetos de desenvolvimento de software baseados em metodologias ágeis a concentrarem os esforços no que realmente interessa na busca pelo sucesso dos projetos, bem como para o avanço da teoria, reduzindo a quantidade de fatores críticos identificados na literatura. / The adoption of agile methodologies for software development is considered an innovation in the management of projects and seeks to overcome the flaws presented by the traditional forms of management. The objective of the present research was to identify the critical factors for the success of software development projects based on agile methodologies, from the view of the team members. In the first stage, the main critical factors and the main dimensions used to measure the success of the projects were identified through a systematic review of the specialized literature using the ProKnow-C methodology. The results of the first stage served as a theoretical basis for the elaboration of the topic guide, the data collection instrument used in the second stage, a field survey conducted through semistructured interviews whose target were members of teams of software development projects. The locus of action of the interviewees were companies in the Vitória. The analysis of the collected data, performed through the immersion of the researcher in the corpus of the interviews, identified, mainly, the need for an adaptation of the thought and the behavior to the agile principles, alignment of the critical factors identified to the stages of the projects and the great challenges encountered in the agile methodologies for large-scale development. The following critical factors were highlighted as relevant: Team Capability, Customer Involvement, Agile Team Environment, Agile Organizational Environment, Management Commitment, Delivery Strategy and Project Management. The results contributed as a reference for software development project teams based on agile methodologies to concentrate efforts on what really matters in the quest for project success, as well as for the advancement of theory, reducing the amount of critical factors identified in the literature.

Orientador: Hans Kurt Edmund Liesenberg / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:23:21Z (GMT). No. of bitstreams: 1 Lucena_FabioNogueirade_D.pdf: 10000400 bytes, checksum: 439a01207296ae1c6e3311386ba751b8 (MD5) Previous issue date: 1997 / Resumo: O gerenciador de diálogo é um dos componentes mais complexos de uma interface e continua, em grande parte, sendo codificado manualmente em linguagens de programação convencionais. Isto contribui para elevar os custos de desenvolvimento e inibir alterações, que são indispensáveis ao desenvolvimento de interfaces. Essa dissertação propõe a linguagem Xchart e um ambiente de apoio voltados para o desenvolvimento de gerenciadores de diálogo. Xchart possui recursos para capturar adequadamente as funções desses componentes de interfaces. Cada gerenciador é especificado através de um conjunto de diagramas. A semântica formal de Xchart permite que esses diagramas sejam automaticamente executados por um interpretador. Em tempo de execução, instâncias desses diagramas podem ser criadas dinamicamente e executadas concorrentemente, possivelmente em um sistema distribuído, apoiadas pelo sistema de execução de Xchart / Abstract: Not informed / Doutorado / Doutor em Ciência da Computação

Orienatadores: Mario Jino, Jose C. Maldonado / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T17:06:42Z (GMT). No. of bitstreams: 1 Vilela_PlinioRobertoSouza_D.pdf: 10402610 bytes, checksum: ca9c843024527b5bd91e864c000d8e04 (MD5) Previous issue date: 1998 / Resumo: Uma família de Critérios de Teste Estrutural baseado em Análise de Fluxo de Dados para o Teste de Integração de Programas, denominada Família de Critérios Potenciais Usos de Integração, é definida. Essa família de critérios inclui os critérios básicos e os critérios executáveis. As propriedades teóricas desses critérios são analisadas, incluindo a análise da relação de inclusão e da habilidade de detecção de defeitos tanto para os critérios básicos como para os executáveis. Essa família de critérios estabelece uma hierarquia de critérios entre o teste de ramos e o teste de caminhos tanto para a relação de inclusão como para a habilidade de detecção de defeitos, mesmo na presença de caminhos não executáveis. A análise inicial para a especificação de uma ferramenta de teste que suporte a aplicação dos Critérios Potenciais Usos de Integração é apresentada. Uma abordagem conservadora para o teste de programas com variáveis do tipo ponteiro, baseada na abordagem proposta por Maldonado para variáveis do tipo vetor (¿array¿), é apresentada. Essa abordagem é, em geral, mais exigente em termos do número de elementos requeridos que as outras abordagens apresentadas na literatura. Complementando o estudo da eficácia dos Critérios Potenciais Usos, apresentado por Maldonado, sob o ponto de vista empírico, analisa-se a eficácia desses critérios sob o ponto de vista teórico... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A Family of Data Flow based Testing Criteria for the Integration Testing of Programs, called Integration Potential Uses Criteria, is defined. This family includes basic and feasible criteria. An analysis of the properties of the criteria, including the subsumption relation and the fault detecting ability, reveals that a hierarchy, bridging the gap between data flow based criteria and path testing, is established. The hierarchy is preserved even in the presence of infeasible paths. A preliminary analysis for the specification of a tool to support the application of the Potential Uses Criteria for Integration Testing is presented. A conservative approach for testing programs with pointers, based on the approach defined on a previous work by Maldonado for testing programs with arrays, is proposed. This approach is usually more demanding, in terms of the number of required elements, than previously presented ones. Complementing Maldonado¿s empirical studies of the efficacy of the Potential Uses Criteria at the unit level, the efficacy of the Potential Uses Criteria is theoretically analyzed. This analysis became possible after the definition of a set of relations to compare the fault detecting ability of testing criteria presented by Frankl and Weyuker... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-26T09:38:43Z (GMT). No. of bitstreams: 1 Ferreira_LucianeLamour_M.pdf: 2771486 bytes, checksum: 7961482fc288b5bbb51dd4c0427b671e (MD5) Previous issue date: 1999 / Resumo: Este trabalho baseia-se nos conceitos de orientação a objetos, frameworks, estilos de arquitetura, padrões de projeto e metapadrões, para o projeto e implementação de um framework orientado a objetos para controladores de trens tolerantes a falhas e distribuídos. O principal objetivo é a obtenção de reutilização de software em larga escala, com reutilização tanto de código quanto de todo o projeto de software. No desenvolvimento do framework, nós utilizamos estilos de arquitetura para o projeto da sua parte fixa, e padrões de projeto e metapadrões para a documentação da sua parte adaptável. Nosso objetivo é avaliar as vantagens e desvantagens obtidas na aplicação destas técnicas na construção de frameworks. Este trabalho apresenta também propostas de novos padrões de projeto e estilos de arquitetura, que foram utilizados para resolver problemas do domínio do framework. A principal contribuição dos padrões e estilos é a utilização de reflexão computacional na implementação de tolerância a falhas, com o objetivo de obter estruturas de projeto mais flexíveis, o que é uma característica essencial para obtenção de frameworks realmente reutilizáveis. / Abstract: This work is based on the concepts of object-orientation, frameworks, architectural styles, design pattems and metapattems to the design and implementation of an object-oriented framework for fault-tolerant train controlers. The main goal is to obtain large-scale reuse, reusing not only the code but also the whole software design. In the framework development, we have applied architectural styles in the design of its fixed parts, and design pattems and metapattems in the design of its adaptable parts. Our goal is to evaluate the advantages and disadvantages of applying these tecniques in the framework construction. This work also presents new design pattems and architectural styles that have been used to solve problems in the framework domain. The main contribution of the pattems and styles is the use of computational reflection in the fault tolerance implementation in order to achieve more adaptable design structure, which is an essential feature of frameworks. / Mestrado / Mestre em Ciência da Computação

Orientador : Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-02T17:28:09Z (GMT). No. of bitstreams: 1 Ukuma_LucianoHayato_M.pdf: 4506949 bytes, checksum: 0e10a40e54da82aaa2007ceb9ecc8235 (MD5) Previous issue date: 2002 / Resumo: A atividade de teste de software tem-se mostrado de extrema importância para o desenvolvimento de software com qualidade. No caso do desenvolvimento de software baseado em componentes, tal atividade tem ainda maior importância devido a característica da reusabilidade, pois para que o reuso seja bem sucedido é fundamental que o componente reutilizável seja confiável. Desta forma, componentes devem ser testados durante todo seu desenvolvimento e a cada vez que haja alguma alteração. Neste trabalho é apresentada a descrição de uma estratégia para o desenvolvimento de componentes autotestáveis que tem como objetivo construir componentes que possuam mecanismos de teste embutidos afim de melhorar sua testabilidade. O objetivo final é reduzir os custos com a realização dos testes sem comprometimento da confiabilidade. Mais especificamente nossa estratégia está baseada nos seguintes elementos: especificação do componente, especificação de teste, mecanismos de teste embutido e geração de casos de teste / Abstract: The software test activity has revealed to be of extreme importance for the development of good quality software. In particular, in the case of the component-based development, such an activity has an even greater importance due to reusability potential. However, for the reuse to be successful it is fundamental that the reusable component be reliable. Thereby, components should be tested during it development time and every time that the component undergoes some alteration. This work presents the description of a strategy for the development of self-testing components that aims to construct components that have built-in test mechanisms to improve the testability in order to reduce the costs with test realization, without compromising reliability. More specifically, our strategy is based on: component specification, test specification, built-in test mechanisms and test case generation / Mestrado / Mestre em Ciência da Computação