Orientador: Rogéria Cristiane Gratão Souza / Banca: Marcelo Augusto Santos Turine / Banca: Leandro Alves Neves / Resumo: A Engenharia de Software é responsável pela sistematização do processo de desenvolvimento de software e, por meio da Engenharia de Requisitos, busca compreender e controlar as necessidades relacionadas ao software em desenvolvimento. O processo decisório no contexto da Engenharia de Requisitos é inevitável e, cada vez mais, representa um importante ativo para empresas e organizações. No cenário atual, nota-se a ausência de ferramentas para o auxílio automatizado a tomada de decisões nas fases iniciais de desenvolvimento de software e, mais especificamente, nas tarefas da Engenharia de Requisitos, ausência essa devida a falta de formalização do processo decisório. Sendo assim, o objetivo deste trabalho é o estudo de técnicas de tomada de decisão no contexto da Engenharia de Requisitos e a utilização de uma abordagem ontológica de análise semântica das informações, que visa propiciar a formalização da tomada de decisões e sua aplicação em ferramentas de apoio a Engenharia de Requisitos. Para análise dos resultados, foi utilizada uma ferramenta desenvolvida previamente em ambiente acadêmico como prova de conceito do uso de técnicas semânticas, objetivando o apoio automatizado à tomada de decisões. Os resultados demonstram que o desenvolvimento de uma ontologia é viável e sua aplicação no contexto de uma ferramenta automatizada para tomada de decisões comprova sua eficiência / Abstract: The Software Engineering systematizes the software development process and, through the Requirements Engineering, aims to understand and control the software requirements. The decision-making process in the context of Requirements Engineering is evolving and nowadays represents an important asset for companies. In this scenario is possible to find many Requirements Engineering support tools, but also note the absence of tools to aid the decision-making process in the early stages of software development, due to the lack of formalization of the decision process. This work aims a study of semantic techniques, based on ontologies, in order to automate the decision-making process in Requirements Engineering support tools. To achieve it, this work uses an academic tool as proof of concept for the use of such semantic techniques aiming to support decision-making. The results demonstrate that the development of quality ontology is viable and that its use in the context of an automated tool for decision-making proves its efficiency / Mestre

Esta pesquisa do campo da Engenharia de Software explora a aplicação do conceito de padrões no tratamento dos problemas da fase inicial da produção de software. Essa fase visa à compreensão do problema com objetivo de sugerir uma solução viável ao projeto. A área que estuda esses fenômenos é conhecida como Engenharia de Requisitos, e a fase que compreende o levantamento das necessidades dos usuários e dos sistemas denomina-se \"elicitação\". No desenvolvimento deste trabalho, é aplicada a pesquisa-ação como método de pesquisa. Foram selecionadas três empresas do ramo comercial em segmentos diferentes, através da técnica de observação e análise das atividades aplicadas na elicitação de requisitos, contidas no processo de construção de software nessas organizações. A abordagem teórica se limitou aos conceitos essenciais da Engenharia de Requisitos, com ênfase na fase de elicitação de requisitos, uma exploração sobre padrões, apresentando suas características e as diversas aplicações na padronização da solução geral para problemas complexos. Essencialmente, a pesquisa sugere um catálogo de padrões candidatos, aplicável ao processo de elicitação de requisitos. Cada padrão é extraído dos documentos de requisitos construídos com base em estudo de campo realizado. São organizados por tipo de requisitos e organizados em um gabarito proposto pelo pesquisador. Posteriormente, são relacionados de acordo com suas afinidades e preocupações, transformando-os dessa maneira em um catálogo de padrões devido a sua classificação e sumarização. Por fim, o pesquisador apresenta as conclusões e desenvolve as críticas acerca do catálogo de padrões, sugere melhorias, indica as limitações, e aponta as contribuições relativas à redução da complexidade na execução da atividade de elicitação de requisitos com a possibilidade de se antecipar ao problema que provavelmente o analista ou engenheiro de requisitos irá enfrentar. / This research in the Software Engineering field explores the application of the patterns concept in the treatment of initial phase problems in software production. This phase aims at understanding the problem with the objective of suggesting a viable solution to the project. The area that studies those phenomena is known as Requirements Engineering and the phase that comprehends the detection of users needs and the systems needs is called \"elicitation\". In the development of this work the research-action is applied as research method. Three commercial companies branch were selected in different segments, through the observation technique and analysis of applied activities in requirements elicitation, contained in construction process of software in these organizations. The theoretical approach was limited to essential concepts of Requirements Engineering with emphasis in the phase of requirements elicitation, an exploration on patterns, to show the characteristics and the several applications in patterns of general solution for complex problems. Essentially, the research suggests a pattern catalog, containing candidates for requirements elicitation process. Each pattern is extracted from requirements documents built based on field studies implemented. They are organized by requirements type in a format proposed by the researcher. Then, they are related to each other according to their similitarities and concerns, transforming them in a pattern catalog due to their classification and summarization. Finally, the researcher presents the conclusions and develops critics concerning the patterns catalog, suggesting improvements, establishing restrictions, as well as pointing out the relative contributions to the reduction of complexity in the execution of the requirements elicitation activity with possibility of anticipating problems that will be presumably be detected by the analyst or requirements engineer.

Made available in DSpace on 2016-06-02T19:05:29Z (GMT). No. of bitstreams: 1 1859.pdf: 1757798 bytes, checksum: 9eb3951e42a6b0bc0aa02bf09e18f67b (MD5) Previous issue date: 2008-01-10 / Requirements engineering has evolved historically connected to the waterfall process model of system development. For agile processes its value continues to be essential to develop systems that really satisfy the customer needs. The iterative process model with high interaction with the customer is the key to preserve its importance. Organizational and requirements patterns can be used to guide the requirements engineer to obtain efficient processes to develop systems following principles and approaches of agile development. In the context of a real systems development organization a proposal of an agile process for system development iteratively and interactively using organizational and requirements patterns has been formulated and evaluated in a real case study. This proposal has been modeled in the SPEM meta-model and considers advancing the application of software metrics to the requirements phase in order to better plan following iterations. The team that worked in the evaluation has been recruited internally in the organization and the author of the proposal and of this dissertation has also been a member of the organization. He trained his colleagues and followed and recorded the evaluation conducted. A questionnaire has been formulated and applied to the team and the results of this application are reported here. Some of the characteristics of the proposed process have been incorporated to the organization systems development practice and some are being considered for incorporation with the necessary adaptation. These are here commented together with the team opinion about the SPEM modeling and advanced application of software metrics. / A engenharia de requisitos tem evoluído historicamente ligada ao modelo de processo cascata de desenvolvimento de sistemas. Para processos que têm a participação efetiva dos clientes na tomada de decisões e na evolução do desenvolvimento, chamados de processos ágeis, seu valor continua a ser essencial para desenvolver sistemas que realmente satisfazem às necessidades do cliente. O modelo de processo iterativo e com alta interação com o cliente é a chave para preservar essa importância. Padrões de requisitos e organizacionais podem ser usados para guiar o engenheiro de requisitos para obter processos eficientes a fim de desenvolver sistemas seguindo os princípios e abordagens do desenvolvimento ágil. No contexto de uma organização real de desenvolvimento de sistemas, uma proposta de um processo ágil para desenvolvimento de sistemas iterativa e interativamente usando padrões organizacionais e de requisitos foi formulada e avaliada em um estudo de caso real. Essa proposta foi modela no meta-modelo SPEM (OMG, 2005) e considera o adiantamento da aplicação de métricas de software para a fase de requisitos a fim de melhor planejar as iterações seguintes. A equipe que trabalhou na avaliação foi recrutada internamente na organização e o autor da proposta e desta dissertação também é membro da organização. Ele treinou seus colegas e acompanhou e registrou a avaliação conduzida. Um questionário foi formulado e aplicado à equipe e os resultados dessa aplicação são aqui relatados. Algumas das características do processo proposto foram incorporadas à prática de desenvolvimento de sistemas da organização e algumas estão sendo consideradas para incorporação como a adaptação necessária. Elas são aqui comentadas juntamente com a apreciação da equipe sobre a modelagem em SPEM e o adiantamento da aplicação das métricas de software.

Made available in DSpace on 2016-06-02T19:05:40Z (GMT). No. of bitstreams: 1 2734.pdf: 2801700 bytes, checksum: 806a9e27efea4f2ac1c2d6cd2649e8f4 (MD5) Previous issue date: 2008-05-28 / Financiadora de Estudos e Projetos / Web applications differ from traditional applications in several significant ways, affecting the Requirements Engineering for Web (WebRE). The most WebRE methods proposed in the scientific literature are used in isolation and don t merge some of all practices and principles of Software Engineering. Besides, there aren t guidelines to tie up requirements specifications with conceptual design models and, at the same time, to support the construction of expressive models in such a way that they allow the metric application in the planning phase. Goal: based on this context, the goal of this work was to define a method, named Web-SEMP Web System Elicitation, Modeling and Planning proposed to help the elicitation, modeling and planning activities for Web applications. The proposed method defines both an approach to elaborate a conceptual model based on requirements, and a metric, named WHP Web Hypermedia Points to evaluate the size of Web applications. Method: the most quoted methods in the literature were analyzed aiming to reuse and to extend them to compose the method here proposed. From literature, the proposed method adopts both the AWARE and WebML techniques for elicitation and modeling activities, respectively, and the Use Case Points method for planning activity. Results: The Web- SEMP method was applied in the real development of a Web application and the results give insights of its contribution to conduct the WebRE process in a more systematic way. In order to evaluate the effectiveness of the WHP metric, it was applied in some implemented Web sites and the obtained results reflected, in proportional terms, the hours spent to develop them. Conclusions: According to the results, it could be observed that the Web-SEMP method enables to improve the quality of WebRE, and the WHP metric represents a first step towards more precise effort and cost estimation models. / Aplicações Web diferem significativamente de sistemas de software convencionais, impactando a Engenharia de Requisitos (ER) para a Web. A maioria dos métodos propostos na literatura para atender esses sistemas é utilizada de forma isolada e não integra algumas das práticas e princípios da Engenharia de Software. Além disso, não se encontram diretrizes que auxiliem na construção de modelos conceituais de projeto mais próximos de especificações de requisitos e, ao mesmo tempo, expressivos, de forma a permitir a aplicação de métricas de software na fase de planejamento. Objetivo: Com base nesse contexto, o objetivo deste trabalho foi definir o método Web-SEMP Web System Elicitation, Modeling and Planning para auxiliar nas atividades de elicitação, modelagem e planejamento para aplicações Web. O método determina uma abordagem para criar um modelo conceitual com base nos requisitos, bem como define uma métrica, denominada WHP Web Hypermedia Points para avaliar o tamanho de aplicações Web. Método: As técnicas de análise de requisitos e de planejamento mais citadas na literatura foram analisadas com o objetivo de utilizá-las e estendê-las para compor o método aqui apresentado. Da literatura foram adotadas as técnicas AWARE e WebML para elicitação e modelagem, e a métrica Pontos por Casos de Uso para a atividade de planejamento. Resultados: O método Web-SEMP foi aplicado no desenvolvimento de uma aplicação Web real e os resultados fornecem evidências de que ele contribui efetivamente para sistematizar o processo de ER para a Web. Para avaliar a efetividade da métrica WHP, ela foi aplicada em alguns sites Web e os resultados obtidos refletiram, em termos proporcionais, as horas gastas para desenvolvê-los. Conclusões: De acordo com os resultados, é possível concluir que o método Web-SEMP contribui com a melhoria da qualidade da ER para Web, e a métrica WHP representa um primeiro passo para a obtenção de modelos de estimativa de esforço e de custo mais precisos.

The labeling of buildings specified by technical regulations of energy efficiency quality level s presents the technical requirements and the methods for the classification of commercial buildings, services and publics regarding energy efficiency. The work consisted in the application of this regulation in the design phase of the public building the will house the convenience center for elderly in town of Doutor Maurício Cardoso RS. Starting from the experience of application of regulation, was evaluated the applicability of it, from the viewpoint of the evaluator and, from the analysis of the influence of variables that determine the building s classification, was analyzed the application of regulations from the point of view of architectural practice. The prescriptive method, which is contained in regulations, was used for general and partial classification of efficiency levels of building. The three main requirements were considered, established by legislation: Envelopment, lighting and air conditioning system. In order to draw conclusions about the real influences of the variables that determine the efficiency level of the building were created hypothetical scenarios. The work presents itself as a major issue, since the application of the methodology of the regulations, can be used as a design tool, encouraging the use of energy efficient solutions from design architectural, contributing to the performance of increasingly efficient buildings vigorously. It was possible to observe, with the obtained results, regarding the applicability of the regulations, and some difficulties regarding the presentation the data necessary for such, the classification of naturally ventilated environments is prejudiced due to the numerical equivalent of ventilation that can only be obtained through simulation. Regarding the variables that determine the efficiency, stands out the negative ways behave in some variations of the angles of shadowing. In artificially conditioned buildings, the efficiency of the envelopment along with the conditioning system interfere with the classification, whereas the remaining transitional environments are not conditioned, aspect that also contributes to the efficiency. / A Etiquetagem de edifícios especificada pelos Requisitos Técnicos da Qualidade do Nível de Eficiência Energética - RTQ apresenta os métodos para a classificação de edifícios comerciais, de serviços e públicos quanto à eficiência energética. O trabalho consistiu na aplicação do RTQ na fase de projeto da edificação pública que abrigará o Centro de Convivência do Idoso no município de Doutor Maurício Cardoso-RS. Partindo da experiência de aplicação do RTQ, foi avaliada a aplicabilidade do mesmo sob a ótica do avaliador e, a partir da análise da influência das variáveis que determinam a classificação do edifício, foi analisada a aplicação sob o ponto de vista da prática arquitetônica. O método prescritivo, que consta no RTQ, foi utilizado para classificação geral e parcial do nível de eficiência da edificação. O fato de o edifício ser naturalmente condicionado obriga a utilização da simulação na classificação geral, entretanto neste trabalho, este método não foi utilizado e o equivalente numérico da ventilação EqNumV adotado foi o mínimo. Foram considerados os três requisitos principais estabelecidos pela normativa: Envoltória, Sistema de Iluminação e Condicionamento de ar. No intuito de obter conclusões sobre as reais influências das variáveis que determinam o nível de eficiência energética do edifício, foram criados cenários hipotéticos. O trabalho apresenta-se como um tema relevante, já que a aplicação da metodologia do regulamento técnico pode ser utilizada como uma ferramenta de projeto, incentivando o uso de soluções energeticamente eficientes desde a concepção arquitetônica, contribuindo para execução de edificações cada vez mais eficientes energeticamente. Com os resultados obtidos foi observado que no que se refere à aplicabilidade do RTQ, além de algumas dificuldades em relação à apresentação dos dados necessários para tal, a classificação dos ambientes naturalmente ventilados é prejudicada em função do equivalente numérico da ventilação somente poder ser obtido através de simulação. Quanto às variáveis que determinam a eficiência, destaca-se o comportamento negativo em algumas variações dos ângulos de sombreamento. E, no que se refere à prática arquitetônica, em edifícios condicionados artificialmente, a eficiência da envoltória juntamente com o sistema de condicionamento interferem consideravelmente na classificação final, considerando que os ambientes de permanência transitória não são condicionados, aspecto que também contribui para eficiência.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-16T17:25:58Z No. of bitstreams: 1 131479.pdf: 1440456 bytes, checksum: 5d77da9c9a2f1f96ff9fea58947b8d4f (MD5) / Made available in DSpace on 2018-03-16T17:25:58Z (GMT). No. of bitstreams: 1 131479.pdf: 1440456 bytes, checksum: 5d77da9c9a2f1f96ff9fea58947b8d4f (MD5) Previous issue date: 1972-12 / Este trabalho tenta coletar toda informação disponível sobre problemas de controle da saída em sistemas lineares. Apresentamos as definições de controlabilidade de saída e sugerimos um método para construir um controle de malha aberta que conduz a saída a um valor especificado em um instante arbitrário de tempo. Discutimos as relações entre esses conceitos e os métodos de solução usando realimentação de estado. Para um sistema linear invariante no tempo, com uma só saída, mostramos que controlabilidade de saída é uma condição necessária e suficiente para a existência de uma realimentação linear das variáveis de estado que designa arbitrariamente os autovalores do sistema de malha fechada que são observáveis na saída. A aplicação deste resultado ao servomecanismo linear com uma saída mostra que a capacidade de tal sistema para seguir qualquer sinal de comando com erro de regime nulo e uma resposta transitória arbitrária é equivalente à controlabilidade de saída da planta e é independente da classe de perturbações. Comentamos as vantagens e inconvenientes dos métodos apresentados e direções para futura pesquisa são indicadas. / This work tries to collect all the available information on output control problems for linear systems. The definitions of output controllability are presented and a method for constructing an open loop input that drives the output to a specified value at a specified time instant is suggested. The relations between these concepts and the solution methods using state feedback are discussed. For a single output linear time invariant system, output controllability is shown to be a necessary and sufficient condition for the existence of linear state variable feedback that freely assigns the eigenvalues of the closed loop system that are observable from the output. An application of this result to the single output linear servomechanism shows that the ability of such a system to track with zero steady-state error and an arbitrary transient response is equivalent to output controllability of the plant and is independent of the class of command signals and disturbances. Advantages and drawbacks of the shown methods are discussed and directions for further research are indicated.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-04-04T18:50:46Z No. of bitstreams: 1 EmersonMouraDeAlencar_DISSERT.pdf: 3724984 bytes, checksum: 58faf85cbc4a9ba7a56428ca0516c391 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-04-12T22:11:42Z (GMT) No. of bitstreams: 1 EmersonMouraDeAlencar_DISSERT.pdf: 3724984 bytes, checksum: 58faf85cbc4a9ba7a56428ca0516c391 (MD5) / Made available in DSpace on 2017-04-12T22:11:42Z (GMT). No. of bitstreams: 1 EmersonMouraDeAlencar_DISSERT.pdf: 3724984 bytes, checksum: 58faf85cbc4a9ba7a56428ca0516c391 (MD5) Previous issue date: 2017-02-03 / A metodologia com base em compet?ncia visa a forma??o do profissional com foco nas habilidades em realizar tarefas relativas ? sua ocupa??o no mercado de trabalho. Por?m, esta nova proposta trouxe desafios ?s equipes pedag?gicas e docentes, em especial nas tarefas de planejamento. O ato de planejar tem sido uma tarefa ?rdua, tendo em vista a mudan?a de paradigma, bem como tantos processos e informa??es que o docente precisa compreender e desenvolver. Devido a isso, este trabalho prop?e simplificar a tarefa de planejamento por meio de uma ferramenta computacional cuja usabilidade ser? avaliada de forma que minimize os problemas enfrentados e ofere?a recursos que facilitem a compreens?o de uma metodologia de ensino com base em compet?ncias. Para isso, foi desenvolvida uma pesquisa explorat?ria com o objetivo de encontrar padr?es de dificuldades, atrav?s de formul?rios online e grupo focal foram coletados, com docentes das escolas do SENAI-DR/RN, dados relevantes ? formula??o de uma proposta de solu??o. O sistema, denominado MEP - Metodologia de Ensino Profissional, foi elaborado e desenvolvido em v?rias etapas, seguindo uma abordagem centrado no usu?rio, ou seja, envolvendo docentes e pedagogos durante o processo de concep??o e desenvolvimento da ferramenta. Para verificar a facilidade do uso do sistema e a diminui??o das barreiras que impe?am o usu?rio de atingir seus objetivos foi aplicado testes de usabilidade denominado teste de prot?tipo, onde foi poss?vel aferir os pontos que foram facilitador e barreias no uso da ferramenta. O presente trabalho apresenta o processo de elabora??o, desenvolvimento da ferramenta e os resultados de testes de usabilidade. / The competency-based methodology aims to train the professional with a focus on the skills to perform tasks related to their occupation in the job market. However, this new proposal has brought challenges to the pedagogical and teaching teams, especially in the planning tasks. The act of planning has been an arduous task, in view of the paradigm shift, as well as so many processes and information that the teacher needs to understand and develop. Due to this, the current work proposes to simplify the planning task through a computational tool whose usability will be evaluated in a way that minimizes the problems faced and offers resources that facilitate the understanding of a methodology of education based on competences. For this, an exploratory research was developed with the objective of finding patterns of difficulties, through online forms and focal group, data relevant to the formulation of a solution proposal were collected with teachers from the SENAI-DR / RN schools. The system, called MEP - Professional Teaching Methodology, was elaborated and developed in several stages, following a user - centered approach, that is, involving teachers and pedagogues during the design and development process of the tool. In order to verify the ease of use of the system and the reduction of barriers that prevent the user from reaching their goals, we applied usability tests called the prototype test, where it was possible to gauge the points that were facilitators and barriers in the use of the tool. The present work presents the process of elaboration, development of the tool and the results of usability tests.

O rumo que o mercado financeiro está tomando ao oferecer canais eletrônicos de atendimento a seus clientes traz consigo uma significativa preocupação com a segurança dos canais eletrônicos: o crescente ataque de quadrilhas fraudadoras. Neste sentido, os valores movimentados para aumentar a segurança dos canais e as perdas resultantes de ataques criminosos desta natureza exige a necessidade de disponibilizar serviços eletrônicos mais robustos e confiáveis. O presente trabalho tem como objetivo principal o levantamento de requisitos para o um processo de prevenção a fraudes eletrônicas em instituições financeiras. Para isto, o trabalho se propõe a apresentar um (i) estudo de requisitos da qualidade no processo de prevenção a fraudes eletrônicas em uma instituição financeira e (ii) a utilização de métodos qualitativos para identificação de requisitos em um processo de prevenção a fraudes eletrônicas. A principal contribuição deste trabalho é a apresentação de uma relação de requisitos, técnicos e funcionais, necessários para o estabelecimento e monitoramento de um processo de prevenção a fraudes eletrônicas para instituições financeiras que ofertam canais eletrônicos a seus clientes. / The direction that the financial market is taking to provide electronic channels for customer services brings along a significant concern with the security of electronic channels: the growing number of attacks by fraudsters. In this sense, values mobilized to increase the security of such channels and with the losses resulting from criminal attacks of this nature require the need to provide stronger and more reliable electronic services. The main objective of the present study is the identification of requirements for a process of electronic fraud prevention in financial institutions. For this purpose, the work is proposed to submit a (i) study of quality requirements in case of electronic fraud prevention at a financial institution and (ii) the use of qualitative methods for identification of requirements into a process of electronic fraud prevention. The main contribution of this study is the presentation of an inventory of functional and technical requirements, necessary for the establishment and monitoring of a process of electronic fraud prevention for financial institutions, which provide electronic channels for their clients.

No desenvolvimento de um sistema que envolve Software e Hardware, muitas vezes, o que se tem é uma idéia muito vaga sobre o que será feito. Neste sentido, a Engenharia de Requisitos (ER) foi criada para fazer a ligação entre o que o cliente deseja e o que será implantado. O processo de ER sempre foi destacado na literatura por fornecer uma decomposição não linear em relação a ER que cobre desde a concepção inicial do projeto até a especificação dos requisitos. Apesar de estudos sobre o uso da ER indicarem um grande ganho em relação ao desenvolvimento de projetos em termos de prazo de entrega do projeto e qualidade dos produtos finais, muito pouco foi feito a respeito de justificar ao cliente o esforço gasto até a especificação. Nesse sentido, uma análise do custo do processo de ER torna-se importante. Mas, para determinar o custo do processo de ER, deve-se lançar mão de um sistema de custeio em que as atividades são os principais fatores para se fazer uma análise mais adequada. Dessa forma, o sistema de custeio baseado em atividades (ou Activity Based Costing (ABC)) é uma maneira de chegar ao objetivo de fornecer um sistema de custeio adequado ao processo de ER. Assim, este trabalho visa aplicar os conceitos do sistema ABC para todo o processo de ER. Este estudo sugere que o uso do ABC para um processo de ER bem estruturado pode direcionar a uma estimativa de custo mais realística. / During a software and hardware system development, in many times, there is a very opaque idea about what it will be done. In this case, the concept of Requirements Engineering (RE) was created in order to bridge the gap between what the client wishes and what will be implemented. The RE process is always highlighted on the literature as a mean to provide a non-linear decomposition of the RE which cover from an initial conception of the project to the requirements specification. Despite of studies related to the using of the RE have shown reduction of delivery time of projects and quality gain in the final products, very few have been done to justify to the client all effort until the system specification has finished. In this sense, a cost analysis of the RE process become important. However, in order to estimate a cost of the RE process, it is necessary to use an accounting system which activities are the main factor to provide an accurate analysis from them. In this case, an activity-based costing (ABC) system can provide a way to give an accounting system which is suited to the RE process. Therefore, the goal of the present work is to apply the ABC concepts to the whole RE process. The present work suggests that a well structured RE process can indicate a best actual cost estimation.

A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.