Made available in DSpace on 2014-06-12T15:55:41Z (GMT). No. of bitstreams: 2 arquivo2280_1.pdf: 1511232 bytes, checksum: d7ddb9c7551ee96a9e062ff71cd3c52e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Os estágios iniciais do processo de desenvolvimento de novos produtos, chamados coletivamente de Fuzzy Front End (FFE), são essenciais para o sucesso da inovação. Por isso, várias ferramentas de software têm sido propostas para suportar as atividades do FFE. Entretanto, até o momento existem poucas evidências sobre os impactos causados pelo uso dessas ferramentas. Então, visando coletar evidências que ajudem profissionais da indústria a tomarem decisões racionais sobre a adoção desses sistemas, o objetivo geral deste estudo é analisar sistematicamente o impacto do uso de ferramentas de software no FFE. O método utilizado pelo estudo foi uma revisão sistemática da literatura que analisou 1090 trabalhos publicados entre 1997 e 2009 e para a síntese dos dados foi utilizado o método de comparações constantes. Os resultados mostraram que os tipos de ferramentas de software utilizadas no FFE são: bancos de idéias, surveys on-line, chats, protótipos multimídia, sistemas de gestão de patentes, sistemas de suporte a decisão, brainstorming on-line e geradores de idéias. De maneira geral, elas proporcionam os seguintes benefícios: aceleração do FFE, redução de custos, aumento da colaboração e comunicação, melhoria da qualidade das decisões e da gestão de conhecimento, redução de riscos relacionados a patentes e aumento da criatividade. Portanto, com o estudo pode-se concluir através de uma análise sistemática que ferramentas de suporte ao FFE trazem benefícios na execução deste estágio. Além disso, foram propostas ligações causais entre o uso de certas ferramentas e os benefícios obtidos

[pt] Em um sistema de informação, falhas podem ocorrer pela diferença de entendimento das partes envolvidas em relação ao significado de um dado. Este é um problema bem conhecido pela engenharia de software, e defeitos deste tipo já foram responsáveis por falhas catastróficas, como a do Mars Climate Orbiter em 1999. O atual cenário de intercâmbio e processamento de dados, com grande volume de informação e heterogeneidade de participantes, cria um estado de suscetibilidade a estes defeitos. Entretanto, as técnicas de garantia de qualidade de software são tipicamente dirigidas à estrutura e às propriedades físicas dos dados, e não são eficientes ao observar questões semânticas. Este trabalho tem como intuito avaliar o uso de análise estática na detecção de conflitos semânticos em tipos de dados, e para validar sua eficácia esta abordagem foi comparada com outras técnicas de garantia de qualidade em um estudo qualitativo. A ferramenta de análise estática VERITAS (VERIficador estTÁtico Semântico) e a notação SemTypes foram desenvolvidas exclusivamente para tratar do problema de conflitos semânticos, adicionando controle de tipo semântico aos tipos reconhecidos por compiladores, e são apresentadas neste trabalho. / [en] Within information system, faults can occur by the difference in understanding of the parties involved regarding the meaning of data. This is a well-known problem for software engineering and defects of this type have been responsible for catastrophic failures, such as the Mars Climate Orbiter in 1999. The current scenario of data processing and exchange, with high information traffic volume and heterogeneous participants, increases system’s vulnerability to these defects. Besides that, techniques of software quality assurance are typically oriented to data structure and physical properties, failing to efficiently address semantics issues. This work has the objective to evaluate the use of static analysis to detect semantic conflicts in data types, investigating its efficacy through an qualitative study comparing different software quality assurance approaches. The static analysis tool VERITAS (VERIficador esTÁtico Semântico) and the SemTypes notation were exclusively developed to address the problem of semantic conflicts - adding a semantic control to the types recognized by compilers – and are presented in this work.