Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia e Gestão do Conhecimento, Florianópolis, 2011 / Made available in DSpace on 2012-10-25T16:32:14Z (GMT). No. of bitstreams: 1 289295.pdf: 2046612 bytes, checksum: 2f3f1bd1cfa9e94e025f5831bf5c8aba (MD5) / A engenharia de requisitos, etapa inicial da construção de sistemas de informação, requer intenso compartilhamento de informações e conhecimento entre profissionais de tecnologias da informação e da comunicação e entre peritos no negócio. A teoria e a prática comum da engenharia de requisitos, no entanto, são tecnocêntricas e caracterizadas por dificuldade de compartilhar informações e conhecimento. A literatura recente aborda a concepção de sistemas sociotecnológicos, cujas propriedades emergem por meio da colaboração dinâmica entre pessoas e agentes tecnológicos. Esta dissertação pesquisa uma arquitetura multiagentes para o compartilhamento do conhecimento na engenharia de requisitos, com base no modelo CESM de Mario Bunge, segundo o qual todo sistema concreto pode ser representado por sua composição, ambiente, estrutura e mecanismo. A composição inclui peritos no negócio, profissionais de Tecnologia da Informação e da Comunicação -TIC, agentes tecnológicos e o documento de requisitos # objeto da colaboração dinâmica. O mecanismo é essencialmente um processo de compartilhamento de informações e do conhecimento. O resultado é uma arquitetura multiagentes que apoia o compartilhamento de informações e do conhecimento na engenharia de requisitos sociotecnológica. / Requirements engineering, as the first stage in the building of information systems, requires intensive exchange of information and knowledge among information technology professionals and business experts. The theory and practice of requirements engineering, however, are technocentric and characterized by barriers to knowledge sharing. Recent literature presents the concept of sociotechnical systems, whose properties emerge through the dynamic collaboration among people and artificial agents. This dissertation presents a multiagent architecture for knowledge sharing in requirements engineering. The architecture is based on Mario Bunge's CESM model, whereby all concrete system can be represented according to their composition, environment, structure, and mechanism. The composition includes business experts, ICT professionals, artificial agents, and requirements records # the objects of dynamic collaboration. The mechanism is essentially a process of information and knowledge sharing. The result is an architecture to support sociotechnological systems, promoting the collaboration between human and artificial agents.

Orientador : Claudia Robbi Sluter / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências da Terra, Programa de Pós-Graduação em Ciências Geodésicas. Defesa: Curitiba, 25/02/2016 / Inclui referências : f. 92-97-112 / Resumo: A utilização da informação geográfica por usuários não especialistas pode resultar em produtos e análises com diversos problemas, como informações equivocadas, problemas de comunicação da informação cartográfica apresentada e análises espaciais erradas. Dentre os diferentes usuários de informação espacial estão os planejadores urbanos e técnicos das prefeituras municipais, responsáveis pela análise e aplicação de impostos sobre a propriedade, como a Contribuição de Melhoria. Estas análises precisam estar corretas, pois a cobrança de tributos atinge diretamente o contribuinte e a sociedade. Assim, a utilização de sistemas de geoinformação, por parte destes usuários deve atender às suas necessidades. A engenharia de requisitos auxilia no planejamento de sistemas computacionais por considerar as necessidades dos usuários nos projetos de tais sistemas. No entanto, apesar de ser bastante utilizada no desenvolvimento de softwares e sistemas computacionais, a engenharia de requisitos ainda é pouco trabalhada e documentada nas geociências. Poucos trabalhos científicos apresentam contribuições referentes a metodologias e aplicações de técnicas de engenharia de requisitos na construção de sistema de geoinformação. Dessa forma, buscou-se definir como as particularidades da geoinformação devem ser consideradas no projeto das interfaces de interação do usuário com o sistema de geoinformação para o cálculo da Contribuição de Melhoria, instrumento utilizado para a recuperação de mais-valias fundiárias urbanas. Partiu-se do pressuposto de que se os requisitos dos usuários forem levantados de acordo com técnicas e procedimentos de engenharia de requisitos, considerando as necessidades em análise espacial e as características da geoinformação, e se o projeto das interfaces do sistema considerar estas características de maneira clara e compreensível ao usuário, então o sistema a ser criado pode atingir seus objetivos, proporcionando ao usuário a interatividade necessária para obter resultados corretos no cálculo da Contribuição de Melhoria. O trabalho de definição dos requisitos foi dividido em quatro etapas: elicitação dos requisitos e informações relevantes sobre os usuários e o contexto de aplicação do sistema para o cálculo Contribuição de Melhoria; análise e negociação das informações levantadas; documentação dos requisitos, onde as informações são escritas; e validação dos requisitos, onde os mesmos são apresentados aos usuários e validados. Através do levantamento das informações junto aos envolvidos foi possível observar as diferentes necessidades em geoinformação dos usuários e suas interações e atividades realizadas junto ao sistema proposto. Dessa forma, cada uma destas necessidades em geoinformação pôde ser trata e analisada individualmente, possibilitando o planejamento das interfaces de maneira a atingir os objetivos dos usuários. Palavras-chave: Sistemas de geoinformação. Engenharia de requisitos. Contribuição de Melhoria. / Abstract: The use of geoinformation by non expert users may result in products and analysis with different kinds of problems, including misleading information, cartographic communication problems and incorrect spatial analysis. One of many different users of spatial information are urban planners and municipalities technicians, responsible for analysis and calculation of land taxation policies, such as the betterment tax. Those analysis need to be correct, since the collection of taxes directly affects taxpayers and, therefore, the whole society. So, the use of geoinformation systems by these users must achieve their needs. Requirements engineering helps planning and designing computer system, by considering users needs in the design of those systems. However, despite being widely used in system and software development, the requirements engineering is poorly used and documented in geosciences. Few scientific works present sound contributions on methodologies and applications of requirements techniques in the design of geoinformation systems. Thereby, we sought to define how geoinformation particularities must be considered in the design of users interaction interfaces for geoinformation systems, particularly in the problem of betterment tax calculation. We assume that, if users requirements are elicited accordingly to requirements engineering techniques and procedures; if we consider these users spatial analysis and geoinformation needs in the requirements engineering process; and if the design of the system interfaces is planned considering those information and needs, so the system to be built will achieve desired goals, providing users with the necessary interactions for correct results in the problem of betterment tax calculation and analysis. The requirements definition process was divided into four steps: requirements elicitation; requirements analysis and negotiation; requirements documentation; and requirements validation. Through the gathering of information from the stakeholders we observed the users different geoinfomation needs, and the interactions required to achieve the desired goals by using the proposed system. Thus, each geoinformation need could be treated and analyzed individually, allowing the proper design of the system interfaces in each case. Key-words: Geoinformation systems. Requirements engineering. Betterment taxes

Made available in DSpace on 2014-06-12T15:50:53Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / A orientação a agentes surgiu como um novo paradigma para o desenvolvimento de software e projetistas e desenvolvedores têm se voltado para os conceitos da orientação a agentes a fim de entender, modelar, e desenvolver de forma mais adequada sistemas cada vez mais complexos e que operam em um ambiente distribuído. Como esperado, o crescimento do interesse em agentes de software tem levado a propostas de novas metodologias baseadas nos conceitos de agentes. A metodologia estudada neste trabalho, Tropos, é fundamentada no conceito de agentes. Tais conceitos são adotados desde a fase de requisitos, tal como ator, objetivo e dependência entre atores. A partir do estudo de Tropos, este trabalho focou nas fases de requisitos finais e iniciais, que utiliza i* como linguagem de modelagem. O framework i* possui uma estrutura conceitual capaz de reconhecer motivações, intenções e raciocínios sobre as características de um processo, o que facilita os esforços nas atividades da Engenharia de Requisitos. A partir do estudo detalhado do i* e da identificação das restrições sobre o uso desta linguagem, é proposta uma ferramenta - plug-in para o Eclipse - com o objetivo de dar suporte ao desenvolvimento dos modelos i* como atividades das fases de requisitos do Tropos. O objetivo deste trabalho é permitir a construção de modelos válidos segundo um guia de boas práticas - i* Wiki, e adotar uma plataforma de desenvolvimento open source que possibilite o desenvolvimento colaborativo da ferramenta proposta. Além disto, o framework GMF de modelagem gráfica do Eclipse é estudado e adotado como abordagem para a implementação da ferramenta proposta nesta dissertação - IStar Tool

Made available in DSpace on 2014-06-12T15:53:23Z (GMT). No. of bitstreams: 2 arquivo5128_1.pdf: 2006320 bytes, checksum: 40732d7ddc233a64a5c0cd1a8be2e185 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / Mudança é inevitável no desenvolvimento de sistemas. Mudanças podem ser pequenas ou grandes, simples ou complexas, importantes ou triviais. Experimentos, das últimas três décadas, mostram que a realização de mudanças de software, sem a análise nos efeitos delas, pode contribuir para uma estimativa equivocada do esforço, atrasos no cronograma, projeto de software degradado, produtos de software não-confiáveis e a desativação prematura do sistema. O problema do bug do ano 2000 (Y2K) é um bom exemplo da percepção errônea dos impactos de mudança sobre muitos software. Entre as principais preocupações no desenvolvimento de software, detectamos a necessidade de se entender e rastrear requisitos adequadamente. Esse trabalho é realizado em conjunto pelos engenheiros de requisitos, desenvolvedores, e clientes e/ou usuários que requerem o software. A engenharia de requisitos desenvolveu algumas técnicas, modelos de rastreamento de requisitos, e ferramentas para ajudar os engenheiros de requisitos. Nesta tese abordaremos em detalhe a questão do rastreamento de requisitos. Em particular, fornecemos uma proposta para melhorar o rastreamento de requisitos que está composta de uma classificação de informações que serão rastreadas, um meta-modelo, um modelo intermediário de rastreamento, e um processo para desenvolver um modelo conceitual de rastreamento. A validação da tese foi realizada sobre cinco projetos. Neste tese apresentaremos os estudos de casos realizados sobre um sistema de vídeo locadora e o sistema de biblioteca da Universidade Estadual do Oeste do Paraná

Made available in DSpace on 2014-06-12T15:55:51Z (GMT). No. of bitstreams: 2 arquivo2329_1.pdf: 8230070 bytes, checksum: 101572b9c6abfdcf32c5faef00f4a617 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / Linhas de Produto de Software é uma importante estratégia de reuso para minimizar custos e tempo de entrega das aplicações, e maximizar a qualidade e produtividade do desenvolvimento de software. Entretanto, isso envolve o gerenciamento dos pontos comuns e variáveis entre diferentes aplicações, que aumenta sua complexidade quando comparado com desenvolvimento de software tradicional. Assim, desenvolver uma Linha de Produto requer tempo e planejamento para apresentar resultados positivos, ao contrário, o investimento pode ser perdido devido a falhas no projeto. Nesse contexto, um processo de Engenharia de Requisitos é importante para reduzir os riscos envolvidos em uma Linha de Produto, fornecendo gerenciamento e desenvolvimento de requisitos corretos. Por outro lado, existe um desafio chave em Engenharia de Requisitos para Linhas de Produto, que envolve uma solução adequada para gerenciar variabilidades, integrando-as e relacionado decisões em diferentes artefatos para facilitar a derivação de produtos. Assim, o desenvolvimento de Linhas de Produto deve ser apoiado por um processo de Engenharia de Requisitos adequado para o seu contexto. Atualmente, existem muitas abordagens de Engenharia de Requisitos para Linhas de Produto, entretanto, elas apresentam alguns problemas, tais como a ausência de um processo completo e sistemático, com detalhes suficientes para o ciclo de vida da Engenharia de Requisitos. Assim, este trabalho define um processo sistemático de Engenharia de Requisitos, descrevendo atividades, tarefas, entradas, saídas, papéis e guidelines para o contexto de Linhas de Produto, em uma forma usável, efetiva e eficiente. Por fim, um estudo experimental é apresentado para identificar a viabilidade do processo proposto

Made available in DSpace on 2014-06-12T15:58:05Z (GMT). No. of bitstreams: 2 arquivo3251_1.pdf: 1485897 bytes, checksum: a6e5020f5dace59c3225a284eff5f121 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / O desenvolvimento de projetos de software resulta, de forma indiscriminada, em sucesso ou fracasso junto ao cliente ou ao próprio fornecedor. Tradicionalmente, o sucesso deste tipo de projeto envolve critérios, como: entrega do produto dentro de custos estimados e no prazo acordado, bem como satisfação dos requisitos definidos pelo cliente. A academia, ao longo dos anos, tem cientificamente contribuído para melhoria do processo de desenvolvimento de software. Estudos mostram que atividades inadequadas ao processo de engenharia de requisitos é um fator crítico para o sucesso dos projetos de software. A engenharia de requisitos enfrenta diversos desafios e problemas no que concerne ao entendimento das reais necessidades de clientes além de obter o correto mapeamento destas mediante modelos, diagramas e especificações de requisitos que serão posteriormente utilizadas pelas equipes de desenvolvimento de software. A fase de elicitação de requisitos é considerada como uma das etapas mais críticas de todo este processo de desenvolvimento de sistemas de software. Amparada neste contexto, esta dissertação apresenta uma pesquisa empírica realizada com Engenheiros de Requisitos, objetivando uma melhor compreensão da importância e dificuldades existentes durante a fase de elicitação de requisitos. Assim, a contribuição desta pesquisa legitima-se na apresentação das principais características e perfil necessário, que envolve um bom elicitador de requisitos, como também auxiliar gerentes de projeto durante a seleção do perfil mais adequado dentro de sua equipe para executar a tarefa de elicitação, obtendo, por conseguinte, os melhores resultados para o projeto de software.

Made available in DSpace on 2014-06-12T15:58:27Z (GMT). No. of bitstreams: 2 arquivo4503_1.pdf: 1699387 bytes, checksum: a380c2efc65af0dc41d98e1aec5f4fba (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / O desenvolvimento orientado a agentes é recente, no entanto, este novo paradigma de desenvolvimento de software tem sido utilizado cada vez mais em aplicações industriais, tais como telecomunicações e comércio eletrônico. Entre as principais preocupações para a consolidação desse novo paradigma, destacamos a necessidade de metodologias, técnicas, notações e ferramentas adequadas para suportar o desenvolvimento de sistemas orientados a agentes. Neste sentido, o projeto Tropos está desenvolvendo uma abordagem de desenvolvimento orientado a agentes centrada em requisitos que visa suportar todas as fases do desenvolvimento de software orientado a agentes. A metodologia Tropos define cinco fases de desenvolvimento de software: Requisitos Iniciais, Requisitos Finais, Projeto Arquitetural, Projeto Detalhado e Implementação. No entanto, Tropos não define atividades relacionadas ao rastreamento dos requisitos necessárias para identificar, por exemplo, a origem destes no sistema, quem os identificou e porquê eles foram incluídos no documento de requisitos. A atual versão de Tropos também não identifica como os artefatos gerados em cada uma das fases da metodologia estão relacionados com os requisitos. Uma extensão da metodologia Tropos para tratar de forma adequada a questão do rastreamento de requisitos proporcionará muitos benefícios, pois não apenas permitirá um melhor atendimento aos requisitos do cliente, como também apoiará a avaliação do impacto de mudanças solicitadas (mesmo antes das suas implementações no sistema). Como resultado haverá uma melhoria na qualidade do software em desenvolvimento em decorrência da melhoria do processo de desenvolvimento o que levará a redução de tempo e custo da manutenção do software. Diante do exposto, propomos nessa dissertação, a utilização de um processo para elaboração de um modelo de rastreamento de requisitos a fim de incluir as atividades de rastreamento de requisitos na metodologia Tropos. A proposta será validada através da elaboração de um estudo de caso que utiliza a metodologia Tropos para o desenvolvimento de um sistema de software multiagentes para uma aplicação de comércio eletrônico

Submitted by Alice Araujo (alice.caraujo@ufpe.br) on 2018-05-02T22:01:48Z No. of bitstreams: 1 DISSERTAÇÃO Bruno Medeiros de Oliveira.pdf: 1530584 bytes, checksum: 5c2fbe267a4bd37066d8a8510e517cb9 (MD5) / Made available in DSpace on 2018-05-02T22:01:48Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO Bruno Medeiros de Oliveira.pdf: 1530584 bytes, checksum: 5c2fbe267a4bd37066d8a8510e517cb9 (MD5) Previous issue date: 2016-09-05 / CAPES / Despite technological advances in the industry of systems development, testing is still the most commonly used verification method to ensure reliability. Model-based testing (MBT) techniques are principally employed for the purpose of generating test cases from specification models. Contributing to this branch of research an MBT strategy for creating test cases from controlled natural language (CNL) requirements was created, called NATural Language Requirements to TEST Cases (NAT2TEST). The NAT2TEST strategy deals with data-flow reactive systems, a class of embedded systems whose the main feature is to have the inputs and outputs always available as signals. However, there is a demand from the industry to to apply the strategy in the context of hybrid systems. These systems are a fusion of continuous dynamical and discrete dynamical systems, that is, they combine dynamical characteristics from both continuous and discrete worlds. Hybrid systems have received much attention in the last years. The main contribution of this work is to extend the NAT2TEST strategy to deal with hybrid systems. Using the new proposed approach, it is possible to write the requirements of a hybrid system, whose semantics is characterised based on the case grammar theory. Then, a formal representation of the system is built considering a model of hybrid data-flow reactive systems. Finally, to analyse the system behaviour via simulation, a modelling environment for simulation of hybrid systems was used, called Acumen. Thereby, a specification model in Acumen is generated and simulated in this environment. The characteristics of the new approach are exemplified using two examples, one belonging to the electronic field, the DC-DC Boost Converter (BC), and the other belonging to the automotive domain, the Adaptive Cruise Control (ACC). / Apesar dos avanços tecnológicos na indústria de desenvolvimento de sistemas, testes ainda é o método de verificação mais comumente usado para garantir confiabilidade. Técnicas de testes baseadas em modelo (MBT) são empregadas principalmente com a finalidade de geração de casos de testes a patir de modelos da especificação do sistema. Contribuindo para este ramo de pesquisa, foi criada uma estratégia MBT para a criação de casos de teste a partir de uma linguagem natural controlada (CNL), chamada de NAT2TEST. A estratégia NAT2TEST lida com sistemas reativos de fluxo de dados (DFRS), uma classe de sistemas embarcados cuja principal característica é a de terem as entradas e saídas sempre disponíveis como sinais. No entanto, há uma demanda oriunda da indústria para a utilização da estratégia no contexto de sistemas híbridos. Estes sistemas são uma fusão entre comportamentos dinâmicos e discretos, isto é, que combinam características dinâmicas de ambos os mundos, contínuo e discreto. Os sistemas híbridos têm recebido muita atenção nos últimos anos. A principal contribuição deste trabalho é estender a estratégia NAT2TEST para lidar com sistemas híbridos. Utilizando a abordagem proposta, é possível escrever os requisitos de um sistema híbrido, cuja semântica é caracterizada através da teoria de gramática de casos. Em seguida, uma representação formal do sistema é construída considerando um modelo DFRS para sistemas híbridos. Finalmente, para analisar o comportamento do sistema, por meio de simulação, um ambiente de modelagem e simulação de sistemas híbridos foi usado, chamado Acumen. Com isso, a estratégia proposta gera um modelo da especificação em Acumen e esse modelo é simulado no ambiente. As características da nova abordagem foram exemplificadas usando dois exemplos, um pertencente ao o campo eletrônico, o DC-DC Boost Converter (BC), e a outra pertencente ao domínio automobilístico, o Adaptive Cruise Control (ACC).

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-05T19:13:45Z No. of bitstreams: 2 MoniqueSoares-Dissertacao-2012.pdf: 6577714 bytes, checksum: 005b141d9bd7a559a90af95173fbb068 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-05T19:13:45Z (GMT). No. of bitstreams: 2 MoniqueSoares-Dissertacao-2012.pdf: 6577714 bytes, checksum: 005b141d9bd7a559a90af95173fbb068 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-29 / O processo STREAM (Strategy for Transition between Requirements and Architectural Models – Estratégia para Transição entre Modelos de Requisitos e Modelos Arquiteturais) apresenta uma abordagem dirigida a modelos que permite a geração de modelos de projeto arquitetural inicial - em Acme - a partir de modelos de requisitos orientados a objetivos - em i*. O STREAM consiste de quatro atividades: Refatorar Modelos de Requisitos, Derivar Soluções Arquiteturais, Selecionar Solução Arquitetural e Refinar Arquitetura. Foi observado que as duas primeiras atividades demandam tempo e atenção, pois envolvem muitas transformações de modelos. A primeira atividade propõe regras horizontais, que transformam os modelos de requisitos descritos em i* em modelos mais modularizados. A segunda atividade aplica regras verticais para derivar modelos de arquitetura a partir do modelo em i* mais modularizado. A automatização dessas regras de transformação minimiza o esforço de aplicá-las e elimina a possibilidade de cometer erros no processo de obtenção dos modelos. A linguagem de mapeamento e transformação de elementos utilizada para descrever as transformações é a QVT Operacional. Foi utilizado o metamodelo da linguagem i*, presente na ferramenta iStarTool para a construção dos modelos de entrada usados na execução das regras. Foi construído um metamodelo da linguagem Acme, baseado na ferramenta AcmeStudio, para determinar os modelos de saída. As regras automatizadas foram utilizadas em alguns projetos para exemplificar o uso das mesmas.

Submitted by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-10-25T18:40:39Z No. of bitstreams: 1 DanielMagalhaesdeOliveiraDissertacao2017.pdf: 2154962 bytes, checksum: 08ea2a6d730f23b5d3b48e462de98f67 (MD5) / Approved for entry into archive by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-10-25T18:41:00Z (GMT) No. of bitstreams: 1 DanielMagalhaesdeOliveiraDissertacao2017.pdf: 2154962 bytes, checksum: 08ea2a6d730f23b5d3b48e462de98f67 (MD5) / Made available in DSpace on 2017-10-25T18:41:00Z (GMT). No. of bitstreams: 1 DanielMagalhaesdeOliveiraDissertacao2017.pdf: 2154962 bytes, checksum: 08ea2a6d730f23b5d3b48e462de98f67 (MD5) Previous issue date: 2017-08-29 / This dissertation proposes and evaluates a method to improve the requirements elicitation process, according to the needs identified in the business processes, and can support any process of surveying customer needs. For this, gaps were sought in the traditional software development processes and analyzed the points where Information Architecture could bring quality gains. The main justification for improving the requirements elicitation process was the recognition of the fact that traditional processes do not capture the full requirements of an application context. The applicability of the proposed methodology was verified by means of an action research with the requirements analysis of a software development company. In addition to the effectiveness of the method, it was also verified improvements in the quality of information previously collected by the revisitation to the client's environment. / A presente disserta????o prop??e e avalia um m??todo para aprimorar o processo de elicita????o de requisitos, conforme as necessidades identificadas nos processos de neg??cio, podendo apoiar qualquer processo de levantamento de necessidades de clientes. Para tanto, buscou-se lacunas nos processos tradicionais de desenvolvimento de software e analisados os pontos em que a Arquitetura da Informa????o pudesse trazer ganhos de qualidade. A principal justificativa para aprimorar o processo de elicita????o de requisitos foi o reconhecimento do fato de que os processos tradicionais n??o capturam a totalidade dos requisitos de um contexto de aplica????o. A aplicabilidade da metodologia proposta foi verificada por meio de uma pesquisa-a????o junto a analistas de requisitos de uma empresa de desenvolvimento de software. Al??m da efetividade do m??todo, tamb??m foram verificadas melhorias na qualidade das informa????es anteriormente colhidas pela revisita????o ao ambiente do cliente.