Orientador: Ariadne Maria Brito Rizzoni Carvalho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T19:56:57Z (GMT). No. of bitstreams: 1 Batista_EdinelsonAparecido_M.pdf: 5235326 bytes, checksum: cf502830edf17b876faaf3974cc6838f (MD5) Previous issue date: 2003 / Resumo: O processo de engenharia de requisitos é peça-chave para o sucesso ou fracasso de um sistema. Dentre as diversas fases que compõem a engenharia de requisitos, as principais são: elicitação, análise, especificação e validação. A elicitação de requisitos é a fase em que o desenvolvedor se preocupa com a descoberta dos requisitos do sistema. É a mais subjetiva das fases e, por ser basicamente dependente de seres humanos, dá margem a interpretações diferentes e ambíguas. A definição dos requisitos não é um processo matemático e há fatores organizacionais, técnicos e sociais envolvidos. Desde que a engenharia de requisitos surgiu no início dos anos 90, os desenvolvedores de software têm se defrontado com a questão de encontrar a melhor forma para a identificação dos requisitos do sistema e diversas técnicas e métodos têm sido propostos. Durante o processo de elicitação de requisitos várias fontes de informação são consultadas pelos desenvolvedores, mas as pessoas são as mais importantes. Apesar de todo avanço tecnológico, o que se percebe é que a elicitação é feita de maneira bastante informal, muitas vezes com aplicação de técnicas inadequadas; isso pode ensejar erros que se propagam para as fases seguintes do ciclo de vida do software, gerando um produto com falhas, não confiável e sem qualidade. Diversas técnicas podem ser aplicadas nesta fase para ajudar os desenvolvedores a descobrir o que o usuário realmente necessita. O objetivo desta monografia é propor uma taxonomia para as técnicas utilizadas na fase de elicitação de requisitos, através de um esquema de classificação facetado. As técnicas são classificadas segundo uma lista de parâmetros, ou facetas, que podem auxiliar os desenvolvedores na escolha das técnicas que serão utilizadas na elicitação. As técnicas são descritas e seus processos relacionados, bem como as situações em que seu uso é indicado. A escolha correta da técnica de elicitação cria condições para que os requisitos sejam melhor especificados e para que as possíveis falhas no desenvolvimento de sistemas fiquem num patamar aceitável e tolerável / Abstract: The requirements engineering is fundamental to the success or failure of a computational system. The requirements engineering is composed of several phases, being elicitation, analysis, specification and validation main ones. The requirements elicitation phase is concerned with discovering the requirements of the system. It is the most subjective of the phases and, because it depends on human beings, it is possible that different and ambiguous interpretations are produced. The definition of requirements is not a mathematical process; there are organizational, technical and social factors involved. Since the requirements engineering appeared at the beginning of the 90's, the requirements engineer has faced the problem of finding the best form of identifying the system's requirement and, since then, several techniques and methods have been proposed. During the requirements elicitation process, the requirements engineer consults several sources, but people are essentiaIly the most important source. In spite of the technological advance, elicitacion stilI takes place in an informal way; application of inadequate elicitacion techniques produces errors which propagate to the foIlowing development phases, generating a product with failures, not trustworthy and without quality. Several techniques can be applied to help the requirements engineer to discover what the users reaIly need. The goal of this work is to propose a taxonomy for the techniques used in the requirements elicitation phase, through the use of a faceted classification scheme. The techniques are classified according to a list of parameters, or facets, that can help the requirements engineer to choose the techniques that could be used in the elicitacion phase. The techniques are described and their processes are related, as weIl as the situations when they should be applied. The use of the appropriate technique leads to better specified requirements, decreasing the problems in the systems' s development as a whole / Mestrado / Engenharia de Computação / Mestre em Computação

Orientador : Beatriz Mascia Daltrini / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-29T02:17:04Z (GMT). No. of bitstreams: 1 Martins_LuizEduardoGalvao_D.pdf: 702908 bytes, checksum: bf63899b91cf7deec03e2d98d7e0fe90 (MD5) Previous issue date: 2001 / Doutorado

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T17:14:10Z (GMT). No. of bitstreams: 1 Moraes_ReginaLuciadeOliveira_M.pdf: 4967763 bytes, checksum: 7156a7a1a1801995591c7016b750cc40 (MD5) Previous issue date: 2003 / Resumo: A maioria dos software desenvolvidos atualmente, incluindo sistemas críticos, utiliza em algum momento software desenvolvido por terceiros ou do inglês, third-parties components. Em especial, quase a totalidade dos sistemas desenvolvidos utiliza um gerenciador de base de dados que é adquirido de empresas especializadas nesse segmento. Como a segurança que se espera do funcionamento desses componentes é importante, a injeção de falhas por software é uma ferramenta útil na sua validação, tendo se mostrado uma das formas mais eficientes para isso. Nesse processo são introduzidas falhas, e observada a resposta do sistema quando em presença das falhas injetadas. Para que se possa utilizar essa técnica, é necessário que se tenha à mão uma ferramenta que nos permita injetar as falhas e monitorar o sistema sob teste para que possamos acompanhar o seu comportamento. Para a credibilidade desses testes, é interessante que se tenha uma estratégia que se possa seguir, objetivando a escolha de alguns requisitos necessários para a injeção: as falhas a injetar, onde injeta-las, a maneira de ativa-las, como coletar os resultados e determinar o sucesso ou insucesso do componente ao tentar resolver da maneira esperada o erro causado pela injeção. Para nossos experimentos, escolhemos como componente terceirizado um gerenciador de banco de dados orientado a objetos, o Ozone. Como aplicação, utilizada para ativar as falhas injetadas, utilizamos um benchmark desenvolvido para testes de desempenho desse tipo de componente, o Wisconsin 007. A Jaca, desenvolvida em trabalho anterior de mestrado do Instituto de Computação, foi a ferramenta escolhida para viabilizar os testes por injeção de falhas, permitindo injetar falhas por software. Uma das contribuições desse trabalho foi, a proposta de uma estratégia para a validação de componentes 00. Outra contribuição foram os testes da ferramenta de injeção, bem como, o aparte de correções e melhorias à mesma / Abstract: The majority of software currently developed - including critical systems - utilize third-party components. Further, a1most all systems use Database Management Systems that are acquired from firms that specialize in this sector. Given the security expected from these components, software fault injection is a useful and efficient validation too1. The process comprises the introduction of faults and observation of system replies when in presence of injected faults. To use this technique it is necessary to have a tool that allows for the injection of faults and the monitoring of the system under test in order to accompany its behavior. To achieve credibility these tests need a strategy that permits the choice of some necessary requirements for the injection. Among these requirements are what faults to inject, where to inject them, how to activate them, how to collect results and how to determine the component's success or failure when trying to solve the problem caused by the injections through the expected manner. For the experiments conducted, Ozone - an object-oriented database management system - was chosen as the third-party component. We have used Wisconsin 007, a benchmark developed for performance tests on these types of components, as the application to activate the injected faults. Jaca, that was developed previously at the Institute of Computing, was the chosen tool to make feasible the injection tests. 1t allowed for software fault injection. One contribution of this work is the proposed validation strategy for 00 components. The other contribution is the injection tool' s tests, its corrections and improvements proposed. / Mestrado / Mestre em Ciência da Computação

Orientadores: Adalberto Nobiato Crespo, Rogerio Drummond B. P. de Mello Filho / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-05T07:32:32Z (GMT). No. of bitstreams: 1 Chaves_FernandaCardoso_M.pdf: 2976900 bytes, checksum: c60a4838d9340cd9b9ed78bdf919473e (MD5) Previous issue date: 2005 / Resumo: Dada a importância do uso de computadores nos dias de hoje, a qualidade e a redução de custos de soluções baseadas em computadores são fatores críticos. O projeto de desenvolvimento de um produto de software e sua capacidade de ser "amigável ao ser humano" diferenciam-no dos produtos concorrentes que tenham função idêntica em outros aspectos. O presente trabalho objetiva consolidar a idéia de orientar a especificação e a documentação dos requisitos de um sistema, após o levantamento e o conhecimento do problema para o desenvolvimento do mesmo. Para tanto, após apresentar os conceitos básicos da área de Engenharia de Requisitos e da técnica de Casos de Uso, é proposto um modelo de especificação e documentação de requisitos utilizando a técnica apresentada. Para a validação do modelo, foi apresentado um estudo de caso. O modelo proposto pode ser utilizado para controlar a mudança nos requisitos e prover documentação com informações sempre atualizadas em um único documento, facilitando o controle de versões pelos analistas do sistema. Para isso, é necessário apenas a utilização de um editor de texto qualquer / Abstract: Nowadays, taking to account the importance of use of computers, the quality and the reduction of costs of computer-based solutions are critical factors. The project of software development and his capability of being user friendly distinguish of competitor products that have the same function in other aspects. This work has the objective of consolidate the idea of guiding the system requisites specification and documentation, as soon as the acquainting stage of development has finished. In order this, as soon as we have introduced the basic concepts of Requisite Engineering and of the Use Cases techniques, we propose a model of requisite specification and documentation using these techniques. To validate this model, one example was presented. The proposed model could be used to controlling requisites changing and to provide documentation with up to date information in a unique document making easy the version control by the systems analyst. To this, it' s necessary only a text editor / Mestrado / Engenharia de Software / Mestre Profissional em Computação

Orientador: Ricardo Ribeiro Gudwin / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T14:04:06Z (GMT). No. of bitstreams: 1 Dario_ClaudiaFilomenaBratficher_M.pdf: 11451853 bytes, checksum: 8ecd6ccb893fcfa7790f5da4d3011ffd (MD5) Previous issue date: 2005 / Resumo: Este trabalho propõe uma Metodologia Unificada para o desenvolvimento de sistemas orientados a agentes. A elaboração desta metodologia foi realizada a partir de um estudo do papel do agente dentro da Engenharia de Software e da análise de diversas metodologias orientadas a agentes encontradas na literatura, enfocando-se principalmente em três destas: MaSE (Muitiagent Systems Engimering Metkodoiogy), Prornetheus e Tropos, além da linguagem de modelagem AÜML {Agem Vnijied Modeling Language). A Metodologia Unificada proposta visa aproveitar o que há de melhor nestas metodologias, buscando elementos comuns a todas elas, de modo análogo ao que ocorreu com a metodologia unificada (RUP - Raiional Unified Process) em sistemas orientados a objetos. Para validar a Metodologia Unificada e analisar as demais metodologias, um estudo de caso foi modelado. A Metodologia Unificada se mostrou eficiente no projeto, documentação e construção de sistemas multi-agentes, sendo considerada uma metodologia detalhada e mais completa por cobrir os estágios de especificação de requisitos, de análise e de projeto no desenvolvimento de software orientados a agentes / Abstract: This work proposes a Unified Methodology for the development of agent-oriented systems. The methodology was elaborated based on a study of agent's role within software engineering and the analysis of different agent-based software development methodologies found in the literature, focusing in three main ones: MaSE (Muitiagent Systems Engineering Methodology), Prometheus and Tropos, in addition to the modeling language AUM.L (Agent Unified Modeling Language). The Unified Methodology aims at taking advantage of the best from each methodology, searching for common elements among them, in an effort similar to what happened with the Unified Methodology (RUP - Rational Unified Process) in object-oriented systems. To validate the Unified Methodology and analyze the other methodologies, a case study was developed. The Unified Methodology has shown to be efficient in the design, documentation and construction of multi-agent systems. We conclude it to be a detailed and more complete methodology, covering requirements specification, analysis and design stages of agent-based software development / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientadores: Ricardo Ribeiro Gudwin, Rodrigo Almeida Gonçalves / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-11T13:41:21Z (GMT). No. of bitstreams: 1 Paraense_AndreLuisOgando_M.pdf: 18795606 bytes, checksum: ebdaafc954d8fc94a61c93e59d8e6d79 (MD5) Previous issue date: 2008 / Resumo: Problemas não estruturados são problemas que dependem de variáveis não quantificáveis, não mensuráveis, imprecisas ou incertas, e que podem depender de fatores culturais, políticos, sociais, econômicos e ambientais. Sistemas ¿Otimizantes¿, onde há uma forte dependência na lógica e fraca interação homem-máquina, geralmente não são capazes de resolver este tipo de problema, pois não há nestes sistemas um processamento semântico adequado para manipular convenientemente as imprecisões e intratabilidades algorítmicas. Sistemas de Amplificação de Inteligência (SAI), que têm sua gênese nos Sistemas de Suporte à Tomada de Decisão (SSTD) e consideram a participação humana no circuito de resolução dos problemas, são capazes de suportar a tomada de decisão humana na resolução de problemas não estruturados. Para construir SAI, as técnicas e ferramentas das metodologias existentes de desenvolvimento de sistemas computacionais são necessárias, porém não suficientes. Este trabalho propõe uma metodologia para o desenvolvimento sistemático de SAI que estende o Processo Unificado de Desenvolvimento, adicionando a ele um fluxo principal de trabalho denominado Modelagem Cognitiva, que concentra-se em aspectos cognitivos dos agentes humanos que resolvem os problemas não estruturados existentes. Para ser capaz de modelar estes aspectos, a metodologia se baseia na teoria da semiótica de Charles Sanders Peirce. Como caso de estudo, é apresentada a aplicação do fluxo de Modelagem Cognitiva para desenvolver um Sistema de Amplificação Inteligência para suportar a resolução de um problema não estruturado do mundo real: o problema de estocagem e embarque de pelotas de minério-de-ferro de uma mineradora brasileira. Palavras-chave: Engenharia de Software ¿ Metodologia, Processo Decisório, Semiótica / Abstract: Wicked problems are problems which depend on unquantifiable, unmeasurable, imprecise or uncertain variables, which can depend on cultural, political, social, environmental and economic factors. ¿Optimizing¿ Systems, which depend heavily on computer logic and have unsatisfactory humancomputer interaction, often are uncapable of solving wicked problems, because they can not manipulate imprecision and algorithmic intractabilities based on a semantic processing. Intelligence Augmentation Systems (IAS), which have their genesis in Decision Support Systems (DSS) and consider humans in the loop of the problem resolution, are capable of supporting human decision making in solving wicked problems. Existing tools and techniques for developing computational systems are necessary but not suf- ficient to build IAS. This work proposes a software development process to systematically develop IAS which extends the Unified Software Development Process, adding to it one core workflow called Cognitive Modeling, which concentrates in the cognitive aspects of the human agents who solve the existing wicked problems. In order to be able to model these aspects, the methodology is based on the semiotic theory of Charles Sanders Peirce. We present as the case study the application of the core workflow Cognitive Modeling to build an IAS to support the decision making of a real world wicked problem: the stocking and shipping of iron ore pellets of a Brazilian mining company. Keywords: Software Engineering, Decision Support Systems, Intelligence Augmentation Systems, Wicked Problems, Computational Semiotics / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica