Made available in DSpace on 2014-06-12T15:51:14Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A engenharia de requisitos orientada a metas (em inglês, Goal-Oriented Requirement Engineering) tem se mostrado uma forma promissora de descrever sistemas de software. Ela provê uma forma natural de estruturar documentos de requisitos complexos através de metas (em inglês, Goal}) que fornecem um mecanismo para justificar a existência dos requisitos e facilitar a administração de conflitos entre requisitos. Neste contexto surgiram diversas abordagens que utilizam metas como abstração entre elas KAOS, NFR, V-Graph e i*. A demanda por software de qualidade exige que todos os artefatos produzidos ao longo do processo de construção do software também sejam de qualidade. Artefatos como documentos de requisitos, código e executáveis do sistema devem estar livre de erros e de falhas, pois segundo pesquisas quanto mais cedo problemas são identificados mais barato é a correção desses. Assim identificar problemas ainda na fase de requisitos reduz a necessidade e os custos de correção no futuro. De forma similar as técnicas tradicionais, as técnicas orientadas a metas também necessitam de mecanismos para garantir a qualidade de seus artefatos. Nesta dissertação são apresentadas métricas para avaliar a qualidade de modelos i*, que são utilizados nas fases iniciais de requisitos. As métricas procuram relacionar qualidades desejadas de documentos de requisitos com construções básicas da técnica i*, de forma a fornecer mecanismos eficazes para identificar problemas nos modelos i*. As métricas estão agrupadas para tratar de: erros típicos, nível de detalhamento, ambigüidade e complexidade. Para facilitar a interpretação dos valores obtidos pelo uso das métricas é apresentada como elas poderão ser usadas com o método GQM (Goal-Question-Metric), também é apresentada uma proposta de ferramenta para coleta automática das métricas

Made available in DSpace on 2014-06-12T15:52:11Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / A avaliação formativa revela-se mais significativa que a somativa, pois acompanha todo o processo de ensino-aprendizagem. Apesar disso, ainda há uma forte resistência na mudança do tradicional paradigma de se aplicarem testes pontuais (avaliação somativa) para uma nova forma de avaliação que permita o levantamento e acompanhamento contínuo da aprendizagem dos alunos em termos quantitativos e qualitativos. Essa realidade também pode ser constatada nos cursos a distância. Na sua vertente mais atual, na qual a aprendizagem ocorre, primordialmente, em ambientes virtuais, a mediação pedagógica continua tendo uma crucial importância. Nesse sentido, práticas pedagógicas ultrapassadas não permitem que as vantagens dos novos espaços virtuais de aprendizagem sejam exploradas em toda a sua potencialidade. Além de não serem dirimidas adequadamente as dificuldades inerentes aos novos ambientes. O objetivo deste trabalho foi levantar requisitos de avaliação formativa para sistemas computacionais de apoio ao ensino e à aprendizagem. Para isso, foi realizada uma análise de competidores, com o objetivo de identificar os pontos fortes e fracos dos três sistemas mais utilizados atualmente, bem como um levantamento das necessidades apresentadas pela literatura que não têm atualmente suporte nos sistemas competidores analisados. Com a aplicação da metodologia acima, foi possível o levantamento de diversos requisitos de avaliação formativa. Esses requisitos representam necessidades que, sendo atendidas por um sistema computacional de apoio ao ensino e à aprendizagem, permitem que sejam criadas as condições para que a avaliação formativa aconteça

Made available in DSpace on 2014-06-12T15:55:38Z (GMT). No. of bitstreams: 2 arquivo2275_1.pdf: 5480552 bytes, checksum: be0d8c06ce046cc764aaa9918db223b4 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Uma Linha de Produtos de Software (LPS) é um grupo de produtos de software com características comuns e variáveis, que também pode ser chamada de família de produtos. As caracterísiticas de uma LPS precisam ser documentadas explicitamente para possibilitar o reuso estratégico dos seus artefatos. Na atividade de Engenharia de Requisitos, isto significa que além de capturar as suas variabilidades, também é preciso relacionar os diferentes tipos de requisitos, tais como organizacionais, não-funcionais e funcionais, além de manter o rastreamento entre eles. Atualmente a captura desta informação é feita usando os modelos de features, mas esses não capturam requisitos não-funcionais explicitamente e nem a influência positiva/ negativa destes requisitos para alcançar configurações alternativas de uma aplicação na LPS. Esta influência pode ajudar na escolha de uma configuração específica para uma aplicação alcançar os objetivos da organização. Um objetivo é um estado do mundo que os stakeholders desejam alcançar enquanto que uma feature é uma característica que o sistema deve apresentar. Partindo destas definições, abordagens orientadas a objetivos podem ser usadas como uma forma efetiva para descobrir requisitos variáveis e comuns de uma LPS, bem como para reduzir os custos associados à configuração de um produto específico na família de produtos. Uma abordagem de requisitos orientada a objetivos que tem sido usada para o desenvolvimento de sistemas complexos é o framework i*. O i* fornece uma maneira natural de identificar e especificar tanto os interesses dos stakeholders como as características do sistema pretendido. Este trabalho propõe uma extensão da linguagem de modelagem do i*, chamada i*-c (i* with cardinality), que adiciona cardinalidade nos elementos de modelos intencionais e assim, permite a identificação e modelagem de features a partir de modelos orientados a objetivos. Para guiar a configuração de uma aplicação específica em uma LPS foi definida a abordagem G2FM (Goal to Feature Model). Ela propõe um processo de identificação e modelagem de features comuns e variáveis de uma LPS em modelos i* com cardinalidade e, a partir destes, produz um modelo de features equivalente

Made available in DSpace on 2014-06-12T16:00:45Z (GMT). No. of bitstreams: 2 arquivo6946_1.pdf: 2936868 bytes, checksum: 385f753c6b8c624fde65aed76f1ebf6a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Os conceitos de SOA (Service Oriented Architecture) e composição de serviços estão cada vez mais presentes nas soluções de softwares. A composição de serviços permite que serviços sejam criados a partir da utilização de outros serviços e disponibilizados por terceiros. Neste contexto, a especificação requisitos não funcionais relacionados aos serviços de uma composição e a busca de serviços que atendam esses requisitos é essencial tanto para o rápido desenvolvimento de uma composição quanto para que o arquiteto de soluções tenha uma maior confiabilidade dos serviços que ele utiliza. Projetar, implantar e executar composição de serviços e os seus requisitos não funcionais associados são atividades naturalmente complexas. Isso ocorre porque estas atividades normalmente envolvem múltiplas partes interessadas, incluindo especialistas no domínio de negócio, especialistas nos requisitos não funcionais, desenvolvedores de serviços e equipe de TI. Além disto, enquanto ambientes de modelagem de processos de negócio são comuns, não há nenhum ambiente de desenvolvimento de um processo de negócio que inclua aspectos não funcionais. Este trabalho propõe uma ferramenta de modelagem de composição de serviços em BPMN (Business Process Modeling Notation) com anotações de requisitos não funcionais. A principal contribuição deste trabalho é o desenvolvimento de um ambiente, chamado Sec-MoSC Editor (Security for Model-oriented Service Composition Editor), onde processos de negócios com anotações de requisitos não funcionais são especificados. O Sec-MoSC Editor é também responsável por gerar um artefato com todas as anotações (serviços e aspectos não funcionais) utilizado como base para geração de código executável da composição

Made available in DSpace on 2014-06-12T16:00:57Z (GMT). No. of bitstreams: 2 arquivo7094_1.pdf: 3842732 bytes, checksum: 3ccd5ae3a7fc06249731bdcbbd36426b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / Atualmente é observada uma mudança de paradigma na comunicação, no relacionamento e no modo de fazer negócio. O comércio, como o conhecemos, evoluiu para o comércio eletrônico e suas generalizações, assim como, a Web pessoal para comunidades virtuais também evoluiu para redes sociais. Sendo assim, é importante entender como o desenvolvimento nessas áreas está acontecendo, quem são os principais atores, qual influência as eras da Web têm na escolha de características e requisitos para classificar cada elemento contemporâneo, nesse domínio. O objetivo, dessa dissertação é agregar estudos relevantes que definem como as redes sociais oferecem suporte para as necessidades de seus participantes, em relação ao comércio eletrônico. Para alcançar esse objetivo, foi executado um Mapeamento Sistemático da Literatura de Redes Sociais e Comércio Eletrônico em Engenharia de Software. Baseado em buscas realizadas em mecanismos automatizados e buscas manuais em conferências importantes nas área de redes sociais e comércio eletrônico, um total de 1078 estudos foram obtidos. Trinta e dois estudos primários foram identificados como relevantes e classificados de acordo com quatro questões de pesquisa. A partir da análise realizada, o estudo inferiu, que uma nova forma de interação social existe entre as redes sociais e o comércio eletrônico, o qual converge para o comércio social, que é benéfico em vários cenários. As significativas e Importantes contribuições desse trabalho são: fornecer informações relevantes à aqueles que desejem desenvolver o comércio social, reduzir o tempo necessário para uma tecnologia ser amplamente utilizada e ainda disseminar o conceito pela comunidade

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T17:08:03Z No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-04T17:08:03Z (GMT). No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / SERPRO / Nos últimos anos, o paradigma de desenvolvimento de software dirigido a modelos tem se consolidado e ganho popularidade. Desta forma, um produto de software pode ser obtido através de transformações dos modelos de mais alto nível de abstração para os de mais baixo nível, sendo essa transformação guiada por metamodelos. Por exemplo, requisitos iniciais de um sistema de software podem ser transformados em modelos conceituais deste sistema. Observamos que, tanto a abordagem de modelagem de requisitos i* (iStar) como a linguagem de modelagem conceitual OO-Method (OO-M), têm ganho notoriedade no âmbito acadêmico e industrial. Nesta dissertação, estamos interessados em transformar modelos de requisitos iniciais, descritos em i*, em modelos conceituais especificados em OO-Method. Em particular, investigaremos como os requisitos não-funcionais (NFR) de produto, relacionados a softgoals internos a um ator sistema do i*, poderão ser analisados nas abordagens que transformam modelos de requisitos i* em modelos conceituais descritos em OO-Method. Erros e omissões dos requisitos não-funcionais têm impacto bastante negativo na qualidade do produto final: custos elevados de correção pós-implantação e inviabilização do projeto de software. Esses requisitos estão entre os mais caros e difíceis de corrigir. Nesta dissertação, é apresentada a proposta OOM-NFR, que analisa os softgoals internos a um ator sistema em modelos i* para verificar conflitos, prioridades e satisfação dos mesmos. Além disso, com base nos metamodelos i* de origem e OO-Method de destino, a proposta especifica um processo de transformação contendo regras que convertem uma instância de um modelo i* em outra instância do modelo OO-Method. Com o processo OOM-NFR, o modelo OO-M gerado reflete as prioridades dos softgoals especificados em i*. Para ilustrar e validar a proposta, foi concebido um exemplo de uma aplicação baseada num sistema real, utilizando-se a linguagem de transformação de modelos Query/View/Transformation (QVT) para automatizar e implementar essas transformações.

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-05T17:03:30Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao - Gabriela 04-12.pdf: 8388608 bytes, checksum: bf0a6a0b446548dba8b07cf11cea0989 (MD5) / Made available in DSpace on 2015-03-05T17:03:30Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao - Gabriela 04-12.pdf: 8388608 bytes, checksum: bf0a6a0b446548dba8b07cf11cea0989 (MD5) Previous issue date: 2012-02-24 / Abordagens da Engenharia de Requisitos Orientada a Objetivos (em inglês, Goal Oriented Requirements Engineering ou GORE) podem capturar de forma efetiva tanto os objetivos dos stakeholders como os requisitos do sistema. Quando aplicadas no contexto de Linha de Produto de Software (LPS), elas podem oferecer uma maneira natural de capturar similaridades e a variabilidade de uma LPS. Já existe, inclusive, uma abordagem GORE que possibilita a obtenção sistemática do modelo de features a partir de modelos i* com cardinalidade. Porém, através de uma abordagem GORE não é possível modelar características comportamentais de uma LPS, para isso é comum usar uma técnica de especificação de cenários de caso de uso. Este trabalho define uma abordagem de Engenharia de Requisitos para LPS que integra uma abordagem GORE com uma técnica de especificação de cenários de caso de uso com variabilidade. Esta abordagem é denominada GS2SPL (do inglês, Goals and Scenarios to Software Product Line) e inclui também um subprocesso para configuração de aplicações específicas de uma LPS com base na priorização de requisitos não-funcionais. Este trabalho também apresenta a aplicação de GS2SPL à LPS TaRGeT, cujos produtos são ferramentas de geração automática de casos de teste.

No description available.

La corrupción política es una problemática que se presenta, en mayor o menor medida, en todos los países del mundo y que afecta el crecimiento económico y la distribución de riquezas. La investigación y el estudio de la corrupción se dificulta dado que los actos corruptos se desarrollan en espacios secretos. Por tal razón, los experimentos de laboratorio constituyen una herramienta crucial para comprender las causas y las características de tales actos. En la literatura experimental sobre corrupción se han estudiado los incentivos monetarios y no monetarios de los agentes para comportarse corruptamente. En este trabajo se propone un diseño experimental que permita analizar cómo influyen los requisitos burocráticos en la toma de decisiones de los individuos. Para ello, se formula un modelo de competencia similar al que existe para la contratación pública, con dos etapas: una preliminar, en la cual los participantes deben completar requisitos burocráticos y una de competencia, en la cual quien logre resolver más problemas resulta ganador de una suma de dinero, aunque en algunas condiciones existe la posibilidad de ofrecer coimas al funcionario para ser beneficiado. La hipótesis subyacente es que a mayor complejidad de los requisitos burocráticos, mayor es el nivel de deserción y de coimas ofrecidas. Por último, se proponen herramientas de acción política supeditadas a que la hipótesis sea contrastada favorablemente. / Political corruption is a problematic that is presented, in gretter or lesser extent, everywhere across the world and that hinders economic growth and wealth distribution. The investigation and research of corruption is dificulted due to the fact that corrupt acts are done in secret places. For that reason, laboratory experiments have become a crucial tool to understand the causes and characteristics of those acts. In the experimental literature about corruption researchers have studied the monetary and non-monetary incentives of agents to behave corruptly. In this paper, it is proposed an experimental design to analyse how bureaucratic requirements influence the decision making of individuals. For that purpose, it is formulated a model of competence similar to the currently existent for public procurement with two stages: a preliminary stage, in which participants have to comply with bureaucratics requirements and a competence stage, in which the person who does the best performance earns a sum of money, but in some conditions it is possible to offer a bribe to the public funtionary to be benefited. The underlying hypothesis is that when the bureaucratic requirements are more complex, there are more people who abandon the process and more people who offer bribes. To conclude, certain tools for political action are proposed for the case that the hypothesis is favorably contrasted.

Rastreabilidade de Requisitos é uma atividade de grande importância no contexto da Gerência de Requisitos em Projetos de software e pode ser definida como a atividade que acompanha um requisito em todo seu ciclo de vida. Nesse sentido, diversas abordagens (técnicas, modelos de processos, frameworks de processo, ferramenta, metodologias e afins) de apoio a rastreabilidade encontram-se dispersas na literatura para que se possam atingir os níveis de produtividade e qualidade desejados. Neste contexto, este trabalho visa contribuir por meio de um catálogo de abordagens de apoio a atividade de rastreabilidade de requisito, que é um instrumento que reúne estas abordagens a fim de facilitar e ajudar organizações na sua escolha. Para alcançar tal resultado foi utilizado o método da Engenharia de Software Baseada em Evidências chamado Revisão Sistemática da Literatura, devido a este método ser confiável, rigoroso e auditável, tendo assim, como objetivo investigar na literatura tais abordagens e boas práticas de rastreabilidade de requisitos no contexto de projetos de software.