Made available in DSpace on 2018-08-02T00:03:42Z (GMT). No. of bitstreams: 1 tese_10151_bruno borlini - rro___uma_ontologia_sobre_o_uso_de_requisitos_de_software_em_tempo_de_execucao_2016.pdf: 2479067 bytes, checksum: 563c4375b3b85c3e6c8a29cfa508493f (MD5) Previous issue date: 2016-08-25 / Nos últimos anos, temos assistido um constante aumento de interesse em sistemas de software que são capazes de monitorar seu meio de execução e, se necessário, adaptar seus requisitos para continuar cumprindo seu propósito. Esse tipo de software normalmente consiste em um software base, comumente chamado na literatura de target system, que é responsável por executar a função principal para qual foi desenvolvido; além de um software, interno ou externo, responsável por monitorar o software base, realizar uma análise dos dados coletados para verificar se os requisitos que foram originalmente propostos estão sendo cumpridos e, se necessário, reagir sugerindo adaptações para garantir que o sistema base continue executando suas funções principais de forma satisfatória. Existem na literatura diversos trabalhos que propõem o uso de requisitos em tempo de execução, como sistemas adaptativos ou autônomos. No entanto, dentro desse contexto, a maioria das propostas usam suas próprias linguagens de modelagem e metodologias para representar o que são os requisitos de sistema e como utilizá-los em tempo de execução. Não há, assim, um senso comum no domínio de uso de requisitos em tempo de execução, resultando numa sobrecarga excessiva de termos e construtos. Essa falta de consenso dentro do domínio apresentado e os problemas de comunicação gerados pela falta de um vocabulário formal e bem fundamentado foram as motivações principais para que fosse realizado um estudo sistemático sobre as diversas metodologias existentes na literatura de requisitos em tempo de execução e através do conhecimento adquirido fosse construída a RRO (Runtime Requirements Ontology), uma ontologia de referência de domínio sobre o uso de requisitos em tempo de execução. RRO foi construída através da metodologia de construção de ontologias SABiO e é fundamentada em UFO com objetivo atuar como uma representação formal do conhecimento dentro do domínio de requisitos em tempo de execução, fornecendo, desta maneira, uma descrição precisa de todas as entidades principais que compõem o domínio e estabelecendo um vocabulário comum para ser utilizado por engenheiros de software e stakeholders.

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.

[pt] Adicionar requisitos de segurança às arquiteturas de software após elas terem sido construídas é uma tarefa bastante difícil. Conceitos de segurança devem permear todo o ciclo de desenvolvimento do software, desde a engenharia de requisitos, passando por desenho (design), implementação, testes e distribuição. Este trabalho apresenta uma abordagem para modelagem de requisitos de segurança, especialmente os requisitos de confidencialidade e consistência das informações, baseada em estratégias orientadas a metas, trazendo a questão da segurança para o início do ciclo de desenvolvimento de software. São apresentados também os resultados da aplicação desta abordagem em um estudo de caso. / [en] Adding security requirements to software architectures after they are built is a hard work. Security concepts have to cross the whole software development cycle, from requirement engineering to deployment, passing by design, coding and test. This work presents an approach to security requirements modeling, mainly the information confidentiality and consistency, based on goal oriented strategies, bringing the security issues to the beginning of the software development cycle. It also presents the results of this approach in a case study.

Submitted by Luiza Maria Pereira de Oliveira (luiza.oliveira@ufpe.br) on 2015-05-15T14:17:26Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Carlos Alberto Teixeira Batista.pdf: 4595346 bytes, checksum: beed4445debc38a76fef5c17e9135a58 (MD5) / Made available in DSpace on 2015-05-15T14:17:27Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Carlos Alberto Teixeira Batista.pdf: 4595346 bytes, checksum: beed4445debc38a76fef5c17e9135a58 (MD5) Previous issue date: 2014-11-27 / A engenharia de requisitos se preocupa com a identificação dos serviços (requisitos funcionais) e das restrições (requisitos não-funcionais) que um sistema deve atender para satisfazer as necessidades dos seus usuários. Os requisitos, por sua vez, sofrem influência cada vez maior do contexto em que os sistemas serão utilizados. Na busca por sistemas que sejam adaptáveis às necessidades dos usuários e às mudanças no contexto operacional, surgem os sistemas sensíveis ao contexto. Percebeu-se através da literatura a necessidade e carência de um processo sistemático para a captura de contextos necessários para a satisfação dos requisitos de sistemas desta natureza. Diante deste cenário, propõe-se, nessa dissertação, um processo para apoiar a descoberta de contextos. O processo proposto de elicitação de requisitos e informações contextuais para sistemas sensíveis a contexto se apóia na técnica Group Storytelling, uma narrativa produzida de forma colaborativa e distribuída. Mapas mentais, as dimensões 5W1H (quem, o que, quando, onde, porque e como) e a dimensão condicional são usados para estruturar e organizar as informações levantadas; heurísticas foram definidas para guiar a identificação dos contextos a partir do mapa mental estruturado com o 5W1H+condicional. No processo proposto, as informações contextuais são analisadas e modeladas utilizando um framework específico para contextos. Para ilustrar o uso do processo, realizou-se a elicitação e modelagem de requisitos e os contextos de um sistema de Casa Inteligente. O processo foi utilizado em um estudo piloto realizado em uma empresa de Tecnologia da Informação para uma avaliação prévia. Como resultado, o processo precisou ser melhorado. Em seguida, a eficácia e usabilidade do processo foram avaliadas em um estudo empírico voltado para o ambiente acadêmico. Os resultados obtidos apresentam indícios de que o processo é útil e fácil de utilizar, trazendo benefícios para a equipe de desenvolvimento de sistemas sensíveis ao contexto.

Made available in DSpace on 2014-06-12T15:58:47Z (GMT). No. of bitstreams: 2 arquivo4696_1.pdf: 1187213 bytes, checksum: 9f73b697d4221f06276b80135f00b3f4 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / O desenvolvimento de sistemas computacionais com melhor utilização de recursos financeiros e cumprimento do cronograma acordado depende da adoção de um bom processo de Engenharia de Requisitos. As falhas no levantamento de requisitos iniciais são as principais causas do desenvolvimento de sistemas que não refletem as reais necessidades das organizações e dos usuários finais. Existem vários métodos de apoio à aquisição de requisitos. Alguns concentram-se nas necessidades do usuário, enquanto outros são mais abrangentes e consideram, também, as necessidades e objetivos da organização. Esta dissertação apresenta uma Proposta para integração da Modelagem Organizacional e da Gestão do Conhecimento no processo de definição dos requisitos iniciais. A Gestão do Conhecimento, através de uma Memória Organizacional, permite o uso, reuso e inovação de conhecimento para facilitar o cumprimento da missão organizacional. Realizamos um estudo da aplicabilidade da técnica de modelagem i*, proposta por Eric Yu, e apresentamos recomendações para o aperfeiçoamento da referida técnica através da incorporação da abordagem de Gestão do Conhecimento. O resultado do nosso trabalho vem reforçar a idéia de que a Engenharia de Requisitos é um processo iterativo, incremental, cognitivo, social, comunicativo e criativo, cujo objetivo é conhecer, entender, estruturar, representar, comunicar e transcrever as informações relevantes de um sistema. Isso demonstra a importância de integrar a Gestão do Conhecimento e a Modelagem Organizacional

Made available in DSpace on 2016-06-02T19:05:25Z (GMT). No. of bitstreams: 1 DissKKK.pdf: 1271632 bytes, checksum: 7825f0fbdf16d2be8d537be29256ecce (MD5) Previous issue date: 2005-09-30 / This work presents Guidelines to elaborate the Requirements Document (RD) based on Functional Requirements made up of three items: i) a Template to specify the Functional Requirements, which determines a set of basic information that should compose the requirement description; ii) Writing Recommendations that offer suggestions to avoid certain defects during requirement writing and iii) a Pre-Inspection Checklist that supports a brief evaluation of the requirements to help in deciding if the RD should be submitted to an inspection. Definition of such Guidelines were based on the analysis of some requirement specification standards, some writing recommendations suggested by some authors and mainly, on the evaluation of applying PBR-User, Checklist and TUCCA (Technique for Use Case Construction and construction-based requirements Analysis) inspection techniques in three different RDs. The main objective to define these Guidelines was to facilitate the application of TUCCA, which supports the elaboration of Use Case Model (UCM) and the inspection of RD, for which a tool that has the RD as input is being developed. The case study to evaluate the proposed Guidelines consisted of the application of PBR-User, Checklist and TUCCA in three RDs and posterior application of the three techniques in these same RDs after they were modified according to the proposed Guidelines. The obtained results showed that TUCCA application was made easier when RD followed the Guidelines and there was a defect reduction in RD thus increasing the quality of this document. / Este trabalho apresenta Diretrizes para a Elaboração de Documento de Requisitos (DR) com ênfase nos Requisitos Funcionais, compostas por três itens: i) Formato para Especificação de Requisitos Funcionais, que determina um conjunto de informações básicas que deve compor a descrição do requisito; ii) Recomendação de Escrita, que oferece sugestões para que determinados defeitos sejam evitados durante a escrita do requisito e iii) Checklist Pré-Inspeção, que apóia uma sucinta avaliação dos requisitos de forma a ajudar na decisão se o DR deve ser submetido a uma inspeção. A definição dessas Diretrizes teve como base a análise de alguns padrões de especificação de requisitos, algumas recomendações de escrita sugeridas por alguns autores e, principalmente, uma avaliação da aplicação das técnicas de inspeção PBR-Usuário, Checklist e TUCCA (Technique for Use Case Construction and construction-based requirements Analysis) em três DRs diferentes. O objetivo principal de se definir essas Diretrizes foi apoiar a aplicação da TUCCA, a qual dá suporte à construção de Modelos de Casos de Uso (MCU) e à inspeção do DR, para a qual está sendo desenvolvida uma ferramenta que possui como entrada um DR. O estudo de caso para a avaliação das Diretrizes propostas consistiu da aplicação da PBR-Usuário, Checklist e TUCCA em três DRs e posterior aplicação dessas três técnicas de inspeção nesses mesmos DRs alterados de acordo com as Diretrizes propostas. O resultado obtido mostrou que a aplicação da TUCCA é bastante facilitada quando o DR segue as Diretrizes e que houve uma redução de defeitos no DR, o que contribui para a qualidade desse documento.

Made available in DSpace on 2014-07-29T14:57:52Z (GMT). No. of bitstreams: 1 Diss LuNishi.pdf: 535052 bytes, checksum: 312e4f56b2249ade58df12ebfe2b4dcb (MD5) Previous issue date: 2009-09-16 / This work uses mind maps to describe requirements and investigates this not well known application through an experiment. The experiment was based on desirable features sought by requirements engineers in notations and functions offered by tools. Both provided input to small changes in mind maps before a real specification was produced for the experiment. The results show that mind maps should be considered seriously as an alternative notation to describe software requirements / Este trabalho investiga o uso de mapas mentais na engenharia de requisitos, com destaque para o registro de requisitos. Características e funcionalidades desejáveis por engenheiros de requisitos foram coletadas e motivaram adaptações nos mapas mentais para uso neste domínio. Um experimento empregou a notação alterada e forneceu indícios positivos e negativos. O experimento permite, contudo, considerar o uso de mapas mentais como uma alternativa viável para o registro de requisitos e merecedora de pesquisas posteriores

Ingeniero Civil en Computación / La administración de requisitos de un proyecto de software puede parecer un trabajo fácil, pero en realidad es una labor compleja, puesto que los requisitos están sujetos a cambios, ambigüedades, malas interpretaciones y pérdida de información. Además, la cantidad requisitos y las posibles relaciones entre ellos pueden obstaculizar su visibilidad, especialmente al momento de determinar el impacto de un cambio en las especificaciones de requisitos. Los alumnos del curso CC5401: Ingeniería de Software II, deben aprender a resolver estos y otros problemas rápidamente, sobre proyectos reales. Afortunadamente cuentan con una herramienta de administración de requisitos, la cual fue desarrollada específicamente para dar visibilidad y mantener la trazabilidad de los requisitos involucrados en los proyectos manejados por los estudiantes. La herramienta también ofrece instrumentos automatizados que permiten detectar tempranamente riesgos e inconsistencias sobre las especificaciones de los requisitos. Sin embargo, la interfaz y otras características de esa herramienta presentan problemas de usabilidad. Esto hace que los usuarios pierdan tiempo valioso al utilizarla, teniendo además que contrarrestar errores presentes en la implementación actual. Para resolver dicho problema, este trabajo de memoria desarrolló una nueva versión de la herramienta. Para la nueva versión de la herramienta se reutilizaron sólo los conceptos de la herramienta original. La nueva herramienta tiene una interfaz totalmente renovada y fue implementada usando un framework Web que permite una mayor extensibilidad y mantenibilidad del software. Además, incluye el feedback de los usuarios en el proceso de desarrollo, e incorpora nuevos servicios útiles para los usuarios. Las principales ventajas que ofrece esta nueva solución son las siguientes: una navegación intuitiva, generación rápida de documentos, fácil reconocimiento de potenciales conflictos en la especificación de requisitos, evita la pérdida de datos y los usuarios requieren menos tiempo para usar la herramienta. Pruebas de usuario basadas en metodologías de usabilidad han mostrado, luego de varias iteraciones, que el software es estable y que los requisitos planteados fueron alcanzados de manera satisfactoria. Además, las encuestas finales revelan un mejor nivel de aceptación y facilidad de uso para los alumnos.

[pt] No processo de desenvolvimento do software, atividades relacionadas ao Processo de Requisitos envolvem elicitação, modelagem, verificação e validação dos requisitos. O uso da linguagem natural no registro dos requisitos facilita a comunicação entre os participantes do processo, além de possibilitar que clientes e usuários validem requisitos sem necessitar de conhecimento extra. Por outro lado, na economia globalizada atual, o desenvolvimento de software por equipes geograficamente distribuídas está se tornando uma norma. Nesse cenário, atividades de verificação e validação de requisitos para um software de média ou alta complexidade podem envolver o tratamento de centenas ou milhares de requisitos. Com essa ordem de complexidade é importante que o engenheiro de software tenha apoio computacional para o desempenho adequado das atividades de aferição de qualidade. Neste trabalho estamos propondo uma estratégia que combina técnicas de processamento da linguagem natural (PLN) e agentes de software para apoiar as atividades de análise dos requisitos. Geramos visões textuais ou gráficas de grupos de requisitos relacionados; visões apóiam a análise de completude, a identificação de duplicidades e de dependências entre requisitos. Utilizamos técnicas de análise de conteúdo para apoiar a identificação de omissões em requisitos não funcionais. Também propomos uma estratégia para a construção ou atualização do léxico da aplicação, utilizando técnicas de PLN. Utilizamos agentes de software para implementar serviços que incorporam as estratégias referidas, e também para atuar como representantes dos participantes do projeto em desenvolvimento. / [en] In software development process, initial activities can involve requirements elicitation, modeling and analysis (verification and validation). The use of natural language in the register of the requirements facilitates the communication among stakeholders, besides offering possibilities to customers and users to validate requirements without extra knowledge. On the other hand, in the current global economy, software development for teams geographically distributed is becoming a rule. In this scenario, requirements verification and validation for medium or high complexity software can involve the treatment of hundreds or even thousand requirements. With this complexity order it is important to provide computational support for the software engineer execute quality activities. In this work we propose a strategy which combines natural language processing (NLP) techniques and software agents to support analysis activities. We have generated textual or graphical visions from groups of related requirements; visions help completeness analysis, identification of duplicities and dependences among requirements. We use content analysis techniques to support the identification of omissions in nonfunctional requirements. Also, we propose a strategy to construct the lexicon, using NLP techniques. We use software agents to implement web services that incorporate the related strategies, and also agents to act as personal assistants for stakeholders of the software project.

No description available.