Uma definição confiável dos requisitos de um software depende diretamente da completa e correta compreensão sobre as necessidades do sistema e sua conseqüente representação de forma adequada ao processo de desenvolvimento. Uma proposta de modelagem de requisitos deve apresentar qualidades que colaborem para a compreensão mútua das necessidades entre os envolvidos no processo e que organizem os requisitos de forma a permitir o acompanhamento no desenvolvimento do software. O presente trabalho apresenta um modelo de estruturação de requisitos fundamentado em metodologias orientadas a objetivos com utilização de cenários e preceitos da Teoria da Atividade. O modelo tem sua argumentação nas premissas que cliente e usuários normalmente expressam suas necessidades através de objetivos almejados e que a ação humana deve ser analisada dentro de um contexto para que possa fazer sentido e ser compreendida. Inserido no contexto do Projeto FILM1, cujo objetivo é expandir o Método Fusion, agregando uma etapa de modelagem de requisitos, o trabalho estabeleceu a qualidade de usabilidade como motivadora da definição de um modelo de estruturação de requisitos. A usabilidade é uma qualidade que visa facilitar a utilização do modelo como uma ferramenta de representação dos requisitos de forma inteligível, atuando tanto na especificação dos requisitos como na validação dos mesmos entre os envolvidos. Os requisitos são estruturados segundo uma abordagem voltada aos clientes e usuários do sistema. O modelo definido tem por objetivo prover a construção gradual e incremental do entendimento compartilhado entre os envolvidos sobre os domínios do problema e da solução, na concepção e no desenvolvimento do software. Metodologias orientadas a objetivos, operacionalizadas através de cenários, conjugadas a princípios da atividade oferecem um suporte adequado a estruturação de requisitos provendo usabilidade ao modelo. A avaliação da aplicabilidade do modelo é realizada com a modelagem de requisitos em três estudos de casos. Em cada caso são aplicadas técnicas de elicitação no sentido da afinar a sintonia com a estrutura do modelo de requisitos. A concepção do modelo, embasada em conceitos da Teoria da Atividade, é bastante adequado às atividades de elicitação em uma abordagem voltada aos clientes e usuários.

Os requisitos direcionam o desenvolvimento de software porque são cruciais para a sua qualidade. Como conseqüência tanto requisitos funcionais quanto não funcionais devem ser identificados o mais cedo possível e sua elicitação deve ser precisa e completa. Os requisitos funcionais exercem um papel importante uma vez que expressam os serviços esperados pela aplicação. Por outro lado, os requisitos não funcionais estão relacionados com as restrições e propriedades aplicadas ao software. Este trabalho descreve como identificar requisitos não funcionais e seu mapeamento para aspectos. O desenvolvimento de software orientado a aspectos é apontado como a solução para os problemas envolvidos na elicitação e modelagem dos requisitos não funcionais. No modelo orientado a aspectos, o aspecto é considerado o elemento de primeira ordem, onde o software pode ser modelado com classes e aspectos. As classes são comumente usadas para modelar e implementar os requisitos funcionais, já os aspectos são adotados para a modelagem e implementação dos requisitos não funcionais. Desse modo, é proposta a modelagem dos requisitos não funcionais através das fases do ciclo de vida do software, desde as primeiras etapas do processo de desenvolvimento. Este trabalho apresenta o método chamado FRIDA – From RequIrements to Design using Aspects, cujo objetivo é determinar uma forma sistemática para elicitar e modelar tanto os requisitos funcionais quanto os não funcionais, desde as fases iniciais do ciclo de desenvolvimento. Em FRIDA, a elicitação dos requisitos não funcionais é realizada usando-se checklists e léxicos, os quais auxiliam o desenvolvedor a descobrir os aspectos globais – utilizados por toda a aplicação – bem como, os aspectos parciais que podem ser empregados somente a algumas partes da aplicação. O próximo passo consiste na identificação dos possíveis conflitos gerados entre aspectos e como resolvê-los. No método FRIDA, a identificação e resolução de conflitos é tão importante quanto a elicitação de requisitos não funcionais, nas primeiras fases do ciclo de vida do software. Além disso, é descrito como usar a matriz de conflitos para automatizar esse processo sempre que possível. A extração dos aspectos e sua modelagem visual são características muito importantes, suportadas pelo método, porque elas possibilitam a criação de modelos que podem ser reutilizados no futuro. Em FRIDA, é demonstrado como transformar os requisitos em elementos da fase de projeto (classes e aspectos) e como traduzir esses elementos em código. Outra característica do método FRIDA é que a conexão entre diagramas, que pertencem a diferentes fases do processo de desenvolvimento do software, permite um alto nível de rastreabilidade. Em resumo, FRIDA requer que o desenvolvedor migre de uma visão puramente funcional para outra que contemple também os requisitos não funcionais.

Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.

Orientador: Rogéria Cristiane Gratão de Souza / Banca: Maria Istela Cagnin Machado / Banca: Leandro Alves Neves / Resumo: As necessidades dos usuários e partes interessadas no desenvolvimento de um software, denominadas requisitos, mudam constantemente, seja por falta de informações ou por mudanças organizacionais ou ambientais. A gerência desses requisitos gera um grande volume de informações que podem ser reutilizadas para consolidar o conhecimento dos envolvidos no projeto. Diversas são as técnicas para formalização desse conhecimento, destacando-se a técnica de Design Rationale que trata da organização da lógica de raciocínio utilizada para projetar artefatos. Neste contexto, este trabalho apresenta um estudo sobre a utilização de Design Rationale na Gerência de Requisitos de software, integrando essa técnica a um sistema web de apoio à Engenharia de Requisitos de Software, denominado Ferramenta de Suporte à Engenharia de Requisitos - FSER. Para avaliação dessa integração, foi realizado um Experimento Controlado, com a participação de alunos de graduação em Ciência da Computação e profissionais da área de Tecnologia da Informação, constatando sua contribuição no que concerne a disseminação do conhecimento e com a formação de uma base de dados que apóie o desenvolvimento de projetos futuros / Abstract: The users and stakeholders needs identified during software development, called requirements often change, either for lack of information or due to organizational or environmental changes. The management of these requirements generates a large volume of information that can be re-used to consolidate the knowledge between users and stakeholders of project. There are several techniques to formalize this knowledge, emphasizing Design Rationale technique which dealing with the logical reasoning organization used to design artifacts. In this context, this study presents the application of Design Rationale in Software Requirements Management, integrating this technique to a web support system for Software Requirements Engineering, called Requirements Engineering Support Tool - REST. For assessment this integration, it was performed a Controlled Experiment, involving Computer Science undergraduate students and Information Technology professionals, recognizing its contribution regarding knowledge dissemination and a database creation supporting the development of future projects / Mestre

Made available in DSpace on 2013-08-07T18:43:32Z (GMT). No. of bitstreams: 1 000418878-Texto+Completo-0.pdf: 1166598 bytes, checksum: 638c3d51308a797479215be816b6345d (MD5) Previous issue date: 2006 / The new rising challenges coming from the increasing distribution of software development operations are contributing to maximize Software Engineering problems. So, in order to decrease the Distributed Software Development impacts in the work of the teams, this research consists on identifying a Software Engineering process which could have more value aggregated through the definition of a process that provides knowledge formalization in order to decrease interpretation problems and ambiguities about concepts and their relationships. It’s expected this formalization will promote better communication and understanding between people and will contribute with the facilitation of the work done by the distributed teams in the software Engineering area. / Os novos desafios que surgem em virtude da crescente distribuição de operações de desenvolvimento de software acentuam os problemas relacionados à Engenharia de Requisitos. Assim, a fim de amenizar o impacto do Desenvolvimento Distribuído de Software no trabalho das equipes, este trabalho consiste em identificar um processo de Engenharia de Requisitos no qual se obtenha valor agregado através da aplicação de técnicas de Gestão de Conhecimento. A proposta visa definir um processo no qual se possa facilitar e prover a formalização do conhecimento a fim de diminuir as ambigüidades na interpretação de conceitos e seus relacionamentos facilitando o entendimento entre as pessoas. A pesquisa contribui ao propor um processo e uma ferramenta que facilitem o trabalho das equipes dispersas com requisitos de software.

nÃo hà / O avanÃo vertiginoso no campo da ciÃncia e da tecnologia que converge para o desdobramento de outras subÃreas e especializaÃÃes do conhecimento, juntamente com a produÃÃo e o compartilhamento de conteÃdo em meio digital de forma rÃpida, livre e democrÃtica, tem como uma das principais consequÃncias o fenÃmeno da superabundÃncia informacional que se observa na sociedade moderna. Nesse cenÃrio, destacam-se os papeis da Biblioteconomia como a Ãrea do saber responsÃvel pelo tratamento tÃcnico, organizaÃÃo e disseminaÃÃo da informaÃÃo; e da CiÃncia da InformaÃÃo enquanto Ãrea que tem a informaÃÃo e os fenÃmenos que a permeiam como objeto de estudo. Destaca-se tambÃm a existÃncia de uma vasta gama de recursos tecnolÃgicos criados para possibilitar o acesso à informaÃÃo. Contudo, existem alguns grupos minoritÃrios de pessoas à margem dessas possiblidades, para quem o acesso à informaÃÃo à algo ainda muito difÃcil e, em alguns casos, atà impossÃvel. Acredita-se que a acessibilidade informacional à uma importante ferramenta de inclusÃo social e que, por esse motivo, deve ser compreendida e estudada. Diante dessa constataÃÃo, objetivou-se realizar um diagnÃstico da acessibilidade informacional nas aÃÃes da biblioteconomia brasileira sob o olhar da percepÃÃo da Ãrea e a sua contribuiÃÃo para soluÃÃo do problema. Para tanto, realizou-se uma pesquisa bibliogrÃfica a partir da qual foram obtidos os insumos teÃricos, epistemolÃgicos e a base para a anÃlise do processamento tÃcnico biblioteconÃmico como ferramenta de acessibilidade informacional; seguido de uma pesquisa exploratÃria onde os resultados teÃricos foram confrontados com a prÃtica bibliotecÃria; e uma pesquisa explicativa na qual foram consultados bibliotecÃrios de todos os estados brasileiros acerca do entendimento da temÃtica e sua problemÃtica, formaÃÃo acadÃmica e atuaÃÃo profissional. Os resultados obtidos a partir da anÃlise dos dados revelaram que embora haja um interesse da Ãrea pelo tema e um esforÃo inicial, ainda hà muito a ser feito para o efetivo alcance da acessibilidade informacional.

Os requisitos direcionam o desenvolvimento de software porque são cruciais para a sua qualidade. Como conseqüência tanto requisitos funcionais quanto não funcionais devem ser identificados o mais cedo possível e sua elicitação deve ser precisa e completa. Os requisitos funcionais exercem um papel importante uma vez que expressam os serviços esperados pela aplicação. Por outro lado, os requisitos não funcionais estão relacionados com as restrições e propriedades aplicadas ao software. Este trabalho descreve como identificar requisitos não funcionais e seu mapeamento para aspectos. O desenvolvimento de software orientado a aspectos é apontado como a solução para os problemas envolvidos na elicitação e modelagem dos requisitos não funcionais. No modelo orientado a aspectos, o aspecto é considerado o elemento de primeira ordem, onde o software pode ser modelado com classes e aspectos. As classes são comumente usadas para modelar e implementar os requisitos funcionais, já os aspectos são adotados para a modelagem e implementação dos requisitos não funcionais. Desse modo, é proposta a modelagem dos requisitos não funcionais através das fases do ciclo de vida do software, desde as primeiras etapas do processo de desenvolvimento. Este trabalho apresenta o método chamado FRIDA – From RequIrements to Design using Aspects, cujo objetivo é determinar uma forma sistemática para elicitar e modelar tanto os requisitos funcionais quanto os não funcionais, desde as fases iniciais do ciclo de desenvolvimento. Em FRIDA, a elicitação dos requisitos não funcionais é realizada usando-se checklists e léxicos, os quais auxiliam o desenvolvedor a descobrir os aspectos globais – utilizados por toda a aplicação – bem como, os aspectos parciais que podem ser empregados somente a algumas partes da aplicação. O próximo passo consiste na identificação dos possíveis conflitos gerados entre aspectos e como resolvê-los. No método FRIDA, a identificação e resolução de conflitos é tão importante quanto a elicitação de requisitos não funcionais, nas primeiras fases do ciclo de vida do software. Além disso, é descrito como usar a matriz de conflitos para automatizar esse processo sempre que possível. A extração dos aspectos e sua modelagem visual são características muito importantes, suportadas pelo método, porque elas possibilitam a criação de modelos que podem ser reutilizados no futuro. Em FRIDA, é demonstrado como transformar os requisitos em elementos da fase de projeto (classes e aspectos) e como traduzir esses elementos em código. Outra característica do método FRIDA é que a conexão entre diagramas, que pertencem a diferentes fases do processo de desenvolvimento do software, permite um alto nível de rastreabilidade. Em resumo, FRIDA requer que o desenvolvedor migre de uma visão puramente funcional para outra que contemple também os requisitos não funcionais.

Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.

Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2015-03-06T19:38:17Z 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-06T19:38:17Z (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 / 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.

Made available in DSpace on 2014-06-12T15:48:58Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / É sabido que para se obter adequadamente requisitos de software é preciso entender as atividades humanas do contexto social e organizacional onde o futuro sistema será implantado. Tradicionais abordagens etnometodológicas de estudos sociais qualitativos propiciam uma descrição detalhada das práticas humanas, no entanto, o caráter retórico enfatizado pelas mesmas dificulta a integração com o design de software. Por outro lado, a argumentação contrária aos métodos oferecidos por designers é a perda da sensibilidade aos dados do campo devido à análise ser direcionada por frameworks e modelos cognitivos (orientados à objetivos e processos). Teoria da Atividade é um referencial teórico pós-cognitivista considerado como um ponto de partida para soluções que venham a promover um melhor balanceamento entre estes pólos. No entanto, as atuais tentativas de operacionalização deste referencial de análise sócio-cultural ainda oferecem dificuldades para integração com a Engenharia de Software. Na área de Engenharia de Requisitos, por outro lado, destaca-se a técnica i* ( i estrela ) de modelagem organizacional que se diferencia dos modelos cognitivos tradicionais por incorporar aspectos intencionais e de dependências estratégicas aos elementos processuais dos sistemas de informações. No entanto, as metodologias baseadas nesta técnica geralmente não tratam o problema de como gerar modelos válidos a partir da análise qualitativa dos dados de campo. Grounded Theory é um método de pesquisa qualitativa que dá ênfase a estas questões metodológicas sobre a validade dos estudos sociais de campo. Ela compreende um método indutivo para geração de teorias (ou explanações) sobre os fenômenos a partir do uso de amostras graduais e da análise sistemática dos dados empíricos. Contudo, trabalhos atuais baseados nesta técnica ainda não incorporam o uso de modelos de design. O presente trabalho apresenta uma solução balanceada entre a sensibilidade à riqueza dos dados de campo e a praticidade do design de software. A mesma é centrada em três pontos principais: (1) Um processo indutivo de pesquisa qualitativa baseado nas etapas da Grounded Theory para construção de representações de práticas humanas baseadas na análise sistemática dos dados e validadas através do uso de princípios de pesquisa qualitativa interpretativa. (2) Uso de um framework analítico para tornar a interpretação qualitativa dos dados mais objetiva para os propósitos de concepção de sistemas de software. O mesmo incorpora re-formulações de conceitos da Teoria da Atividade e um conjunto de fatores pré-definidos de análise. (3) Guias para geração de modelos i* de dependências sociais estratégicas a partir das descrições de atividades de modo a propiciar, além de uma visão do contexto social de um diferente ponto de vista, análises transformacionais que atendem às demandas dos engenheiros de software. O processo foi validado através da realização de um estudo qualitativo voltado ao entendimento das atividades de manipulação de prontuários médicos por profissionais de anestesia