Orientador: Claudia Maria Bauzer Medeiros / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-08T19:32:24Z (GMT). No. of bitstreams: 1 Kondo_AndreiaAkemi_M.pdf: 15294926 bytes, checksum: 2c281a495d65ad0e72e06f2820ac18e0 (MD5) Previous issue date: 2007 / Resumo: Uma cadeia produtiva consiste de um conjunto de atividades desenvolvidas desde as matérias-primas até os consumidores finais. Sob o ponto de vista da Computação, cadeias produtivas apresentam vários desafios que vão desde a modelagem de seus processos até problemas relativos à comunicação entre seus componentes, logística de execução ou gerenciamento dos processos e produtos. Uma questão de importância crescente é permitir a rastreabilidade para garántir a procedência e a qualidade dos produtos. Há, no entanto, poucos trabalhos voltados a aspectos computacionais para resolver este problema. A maioria se concentra em aspectos específicos da cadeia, sem buscar soluções genéricas. A dissertação visa contribuir para preencher esta lacuna, abordando a questão da rastreabilidade de produtos, processos e serviços dentro de uma cadeia produtiva agropecuária. As principais contribuições são um modelo de armazenamento de dados de rastreabilidade e uma arquitetura baseada em Serviços Web associada. O trabalho foi validado por um protótipo da arquitetura, com testes que mostram ser uma solução genérica / Abstract: A supply chain is a set of activities developed starting from raw materiaIs to final consumers. Supply chains present many research challenges in Computing, such as the modeling of their processes, communication problems between their components, logistics or process and product management. An issues of increasing importance is to enable traceability to ensure the origin and quality control of the products. However, little has been published on implementation aspects to solve this problem. Most papers are related to specific aspects, and do not strive for generic solutions. This work contributes to fill this gap, considering product, process and service traceability within a supply chain. The main contributions are a model for traceability data storage, supported by Web Services based architecture. This work presents was validated by a prototype, whose tests shows the genericity of the solution / Mestrado / Mestre em Ciência da Computação

As Redes Neurais Artificiais (RNA) são modelos matemáticos associados à inteligência computacional capaz de aprender e generalizar informações, podendo assim ser utilizada como um classificador de imagens. O presente trabalho objetiva analisar o espelho nasal bovino com o intuito de comprovar que é uma característica única e permanente do animal podendo assim, ser sua identificação única. O experimento foi dividido em duas etapas. Para compor o banco de dados da primeira etapa foram utilizados 51 bovinos da raça Nelore com idade média de 11 meses, dos quais foram coletadas para a formação do banco de dados dezesseis imagens de cada animal, totalizando uma base de 816 imagens. Na segunda etapa do experimento foram utilizados 16 bovinos do banco de dados inicial, escolhidos de forma aleatória, com idade média de 23 meses. Destes foram coletadas 11 imagens para verificar se os padrões do espelho nasal, com o passar dos meses, mantêm seu padrão tornando possível, assim, a identificação do animal. Os algoritmos de processamento digital de imagens foram implementados utilizando o software MATLAB®. Após o processamento das imagens, as características vetorizadas foram utilizadas para treinamento e teste de uma rede neural artificial utilizando o algoritmo MLP, implementado usando o compilador C DGW, que serviu como classificador das mesmas. Também foi utilizado o algoritmo do K vizinhos mais próximos (K-nn), para realizar os testes de classificação, usando um método estatistico. A validação do classificador foi realizada mediante análise estatística dos seus erros e acertos. O erro médio quadrático utilizado neste estudo foi menor que 1%. Os resultados apresentados pelo classificador K-nn foram maiores que o da Rede Neural Artificial, porém ambos não alcançaram acertos acima de 90%, o que é considerado adequado a um classificador. Pode-se concluir que o método utilizado para extração de características não apresentou uma boa representatividade, porém ainda assim foi possível observar a tendência classificatória dos animais através das características do espelho nasal, assim como a tendência da permanência dos padrões com o envelhecimento do animal. / Artificial Neural Networks (ANN) are mathematical models associated with artificial intelligence that can learn and generalize information, therefore they can be used as images classifiers. This paper aims to analyze the cattle muzzle in order to prove that it is a unique and permanent characteristic of the animal thus, being used as its unique identification. The experiment was divided into two stages. To make the database of the first phase were used 51 Nelore bovines with an average age of 11 months, from which sixteen images of each animal were collected totalling of 816 images for the database. In the second stage of the experiment 16 bovines from the initial database were used, chosen randomly, with an average age of 23 months. From those 11 images were collected to verify if the standards of the muzzle remain the same after a couple of months, so the animal can be identified. The processing digital image algorithms were implemented using MATLAB® software. After the images processing, vectorized features were used to train and test an artificial neural network using the MLP algorithm, implemented using the C compiler DGW, and was used as a classifier. We also used the algorithm of K nearest neighbors (Knn) to perform the classification tests using a statistical method. The validation of the classifier was performed using statistical analysis of their mistakes and successes. The average square error used in this study was less than 1%. The results presented by K-nn classifier were higher than the one of Artificial Neural Network; nevertheless, both failed to reach above 90% success, which is considered suitable for a classifier. It can be concluded that the method used for feature extraction did not show a good performance, although it was possible to observe the trend of classification of animals through the characteristics of the muzzle, as well as the tendency of the permanence of the standards with the animal aging.

Made available in DSpace on 2017-07-10T17:44:29Z (GMT). No. of bitstreams: 1 Celso_Soares_Costa.pdf: 3202452 bytes, checksum: 0738e76076e0898fd15436df806dbc41 (MD5) Previous issue date: 2014-08-15 / The objective of this study was the development and implementation of a software for the monitoring and traceability of products and industrial processes, aiming to form thereafter a database on the production chain. We collected information about fish production chain and its industrialization and demands at the School fridge industry of UNIOESTE, in the town of Nova Prata do Iguaçu from March 2013 to March 2014. For the composition of the software, it has been used the UML methodology, which is characterized by its operability in the development of projects of the same type, thus providing a greater effectiveness. Once developed and implemented, this software has served as a tool to support the registration and the provision of data, ensuring a better efficiency in the control, storage and processing of information relevant to administrative management, generating accurate reports, as well as to provide immediate access to data registered for administrative decisions. Therefore, the application of the software contributes to an improvement in the management of the production chain of supplies, with the most important benefit: the traceability through the software indicators, with the historical of the origin and destination of the fish / O objetivo do presente estudo foi o desenvolvimento e a aplicação de um software para o monitoramento e rastreabilidade de produtos e de processos industriais, visando a formar, a partir daí, um banco de dados relativo à cadeia produtiva. Foram apuradas informações sobre a cadeia produtiva do pescado e sua industrialização e demandas junto ao Frigorífico Escola, da UNIOESTE, no município de Nova Prata do Iguaçu, no período de março de 2013 a março de 2014. Para a composição do software, foi utilizada, entre outras, a metodologia UML, a qual é caracterizada pela operacionalidade no desenvolvimento de projetos do gênero, proporcionando, assim, uma maior eficácia. Uma vez elaborado e implementado, esse software atuou como uma ferramenta de apoio no registro e na disposição de dados, assegurando uma melhor eficiência no controle, armazenamento e processamento de informações pertinentes à gestão administrativa, gerando relatórios precisos, além de possibilitar o acesso imediato aos dados cadastrados para tomadas de decisões administrativas. Portanto, a aplicação do software contribui para uma melhora na gestão da cadeia produtiva de suprimentos, com o benefício mais importante, que é o da rastreabilidade através dos indicadores do software, com histórico da procedência e destino do pescado

Made available in DSpace on 2017-07-10T17:48:11Z (GMT). No. of bitstreams: 1 Fernando_da_Cunha.pdf: 1663334 bytes, checksum: 747cba01a82289ae88e1bcc8c569db5f (MD5) Previous issue date: 2016-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The direct and indirect effects of agricultural pesticides has been the focus of increasing numbers of studies by different entities and in different locations. The Apis mellifera bee is an insect that are part of the natural environment, producing honey from its interaction with vegetation. Brazilian legislation seldom refers to the concentration of pesticides in food, and honey, a product produced by bees, has had few cases of contamination by pesticides used for the control of pests in agriculture. The maximum pesticide residue limit (MRLs) established in legislation principally relate to those products used in large-scale crop production. Organophosphate and organochloride standards were used on samples and validated. In this way the identification of pesticide residues in honey generated by bees acquired in native trees and planted cultures in a 1,500m radius of the hives, by way of chromatography (CGMS), was estimated over two seasons in fifteen apiaries in the city of Santa Helena-PR. On average, the areas utilised for the study corresponded to 58.92% under agricultural production, 22.08% in native forest, 9.52% in water, and 6.04% in buildings and dwellings. There was however no significant effect in the study area on the percentage of contamination in the samples. In september to november of 2013, 26.66% of the samples were contaminated. In december to january of 2014 the figure was 8.88%. There was significant effect in the period (p<0.05) on the Fenclorfós, Chloropyrifos, Mitotane and Bicylo, with a greater occurrence and concentration in september to november of 2013. Those pesticides with residue limits outside of the legislation, did not have significant effect in the period (p>0.05) on the occurrence of contaminated samples with Parathion Methyl, Chloropyrifos, and DDE. Parathion Methyl and Chloropyrifos were found at levels above those specified in the legislation in both periods of the study. This would suggest the overuse of these pesticides at above recommended levels by agricultural producers to control pests. In conclusion, the Apis mellifera bees were efficient in the detection of pesticide residues in honey, that were used in agricultural production near the apiaries between September 2013 and December 2014. This reinforces the potential of these insects as bioindicators of environmental quality / O efeito direto e indireto dos agrotóxicos utilizados na agricultura tem sido, cada vez mais, alvo de estudo nos diferentes ambientes e organismos vivos com os quais têm contato. As abelhas Apis mellifera são insetos que estão diretamente relacionadas aos ambientes naturais, produzindo o mel com características específicas dessa relação com os vegetais, nos quais buscam alimento. A legislação brasileira pouco se refere à concentração de pesticidas nos alimentos, e o mel apresenta especificações de limites máximos de resíduos de poucos princípios ativos utilizados na agricultura. Assim, buscou-se identificar os pesticidas presentes no mel de Apis mellifera e relacionar os agrotóxicos encontrados às possíveis fontes de contaminação, utilizando o mel como bioindicador ambiental. Foram utilizados padrões de pesticidas organoclorados e organofosforados, recuperados nas amostras e validados, a identificação dos pesticidas no mel foi realizada por meio das análises cromatográficas, em 86 amostras coletadas de 15 apiários e em duas épocas diferentes. Esses apiários foram georreferenciados e a partir das imagens foi estimado o uso e ocupação do solo, onde em média, o uso do solo por área agrícola correspondente a 58,92%, área de mata (22,08%), área de água (9,52%) e área com edificações (6,04%). No entanto, não houve efeito significativo de área sobre a porcentagem de contaminação das amostras. No período de setembro a novembro de 2013, 26,66% das amostras foram contaminadas, e no período de dezembro a janeiro de 2014, 8,88%. Houve efeito significativo de época (p<0,05) sobre o Fenclorfós, Chlorpirifós, Mitotane e Bicyclo, tendo maior ocorrência e concentração de setembro a novembro de 2013. Com relação aos pesticidas com limites de resíduos fora da legislação, não houve efeito significativo de época (p>0,05) sobre a ocorrência de amostras contaminadas com Paration Metílico, Chlorpirifós e DDE. Paration Metílico e Clorpirifós foram encontrados acima do preconizado pela legislação em ambas as épocas de estudo, revelando o uso indevido destes compostos para as culturas e possivelmente o número excessivo de aplicações para o controle de pragas agrícolas. Contudo, o mel de Apis mellifera se mostrou um bioindicador eficiente de resíduos empregados nas culturas agronômicas de entorno dos apiários da pesquisa entre setembro de 2013 e janeiro de 2014, reforçando a importância destes insetos polinizadores para a avaliação da qualidade ambiental

Introdução: Os medicamentos são importantes elementos da maioria dos esquemas terapêuticos cobertos pelo Sistema Único de Saúde (SUS), representando significativa parcela do orçamento no país. O Complexo de Saúde vinculado ao Hospital das Clínicas atende toda a região noroeste do Estado de São Paulo e de outras partes do estado e do país, como centro de referência em tratamentos de alta complexidade, sendo frequente a prescrição de medicamentos de alto custo (MAC). Estima-se que 75,4% do orçamento geral para compra de medicamentos do complexo HCRP-FMRP-USP, são dedicados à aquisição de medicação não padronizada (medicamento especial) num total de aproximadamente R$ 46.313.170,08 (2015). Sendo assim, ferramentas para controle não só da prescrição, como também da aquisição e seu uso são fundamentais para otimizar a gestão do Hospital, evoluindo de um caráter reativo a um proativo, no qual a tomada de decisões tenha como base um histórico e indicadores de casos apresentados no complexo. Objetivo: Desenvolver uma plataforma eletrônica baseada na rede mundial de computadores, que possibilite a gestão entendida como documentação, rastreabilidade e inter-relacionamento entre os componentes da cadeia de decisão de medicamentos considerados especiais no Hospital das Clínicas da Faculdade de Medicina de Ribeirão Preto da Universidade de São Paulo. Métodos: Compreendeu o desenvolvimento de um sistema que tem como características principais monitoramento, acompanhamento e controle da cadeia de decisão de medicamentos que são considerados especiais pela instituição. Este sistema também permite a tomada de decisões, o desenvolvimento de indicadores em tempo real para decisão administrativa e o controle que requer a cadeia de suprimento de medicamentos de alto custo em cada um dos seus componentes. Resultados: Maior e melhor comunicação entre as unidades de farmácia, o solicitante (médico), o Departamento de atenção à Saúde (DAS) e os locais do Complexo HC-FMRP-USP que compõem a cadeia de decisão do suprimento de medicamentos especiais (MAC); além disso, possibilitará organizar um histórico de dados que poderá ser transposto facilmente a indicadores para o plano assistencial à medida, que garanta a presença de um agente transformador. Conclusões: Uma plataforma eletrônica foi desenvolvida que permite armazenamento, gestão e o processamento de dados e informações respeito à cadeia de decisão do fornecimento de medicamentos não padronizados / Introduction: Medicines are important elements in health care, especially those covered by the Brazilian Unified Healthcare System - Sistema Único de Saúde (SUS), representing a significant portion of its budget. The health infrastructure linked to Hospital das Clínicas serves throughout the northwest region of State the São Paulo and other parts of the state and the country. It is, therefore, known as a reference center for highly complex treatments and, for this reason, frequently prescribes treatments with expensive drugs. Is estimated that 75.4% of the general budget of HCRP-FMRP-USP complex is dedicated to the acquisition of this type of medication, i.e., not standardized medication (special medication), that has a value of approximately USD $14.434.300 (2015). Therefore, tools for controlling not only the prescription, as well as the acquisition and use, becomes critical to optimize the management of the hospital, aiming to move from a reactive to proactive role, where decision-making is based on a history and on indicators of the cases presented in the complex. Objective: To develop an electronic platform based on the World Wide Web, which allows the management, documentation, traceability and interrelationship between the components of the considered decision chain of nonstandard medicines in the Clinics Hospital of Ribeirão Preto Medical School of the University of Sao Paulo. Methods: Include a software development that has, as main features, tracking, monitoring and control of decision chain of drugs, which are considered special by the institution. This software also allows making decisions, development of indicators in real-time and administrative decisions that require the regulatory control supply system of high cost of medicines in each of its components. Results: Further and improved communication between the pharmacy units, the applicant (physician), the Department of attention to health (DAS) and places from the HC-FMRP-USP complex that integrate the chain of decision of the special drug supply. Moreover, organize a data history, which easily can be implemented to indicators for the assistance plan as guaranteeing the presence of a transforming agent. Conclusions: Developed an electronic platform that enables storage, management and processing of data and information, considering the chain decision of nonstandard medicines supply.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-08-23T18:42:49Z No. of bitstreams: 1 adrianocastromoreira.pdf: 7059055 bytes, checksum: acc6b65434226b520d72b5b4b4d9fc71 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-09-03T15:59:29Z (GMT) No. of bitstreams: 1 adrianocastromoreira.pdf: 7059055 bytes, checksum: acc6b65434226b520d72b5b4b4d9fc71 (MD5) / Made available in DSpace on 2018-09-03T15:59:29Z (GMT). No. of bitstreams: 1 adrianocastromoreira.pdf: 7059055 bytes, checksum: acc6b65434226b520d72b5b4b4d9fc71 (MD5) Previous issue date: 2017-09-29 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nos últimos anos normas técnicas ligadas ao setor da construção civil predial, foram criadas e atualizados referenciando e orientando os processos, sintomas construtivos e de manutenção necessários para o objetivo fim de se construir obedecendo às normativas, mínimas e assim disciplinando o mercado construtor. Ao longo de todo o processo de construção uma grande quantidade de informação é gerada e precisa estar devidamente organizada de maneira a facilitar o seu resgate quando se fizer necessário a seu uso. A tecnologia de informação e comunicação (TIC) vem contribuir para esse processo. Este trabalho tem por objetivo propor o desenvolvimento de modelo de ambiente informatizado para a gestão da informação do processo de construção. Para esta tarefa, fez-se uso, conceitualmente, das TlCs tais como a Web Orientação utilizando Sistemas de Gestão de Conteúdo (SGC) e dos Códigos de Resposta Rápida (QR Code). O resultado dessa combinação de tecnologias é um modelo lógico básico que disponibiliza em tempo real e de forma transparente acesso fácil, rápido, descentralizado e hierarquizado das informações e registros dos documentais necessários às tarefas do cotidiano das empresas, além ele possibilitar o rastreamento de forma dinâmica sem limites geográficos. Um exemplo de aplicação voltada à segurança do trabalho é apresentado neste trabalho. O modelo proposto facilita a modelagem da informação e da gestão da informação disponibilizando um feedback para decisões e acompanhamentos na obra. O acesso ao sistema realiza-se através das tecnologias de conexão móveis: notebooks, smartphones e tablets, dando suporte aos trabalhadores e profissionais construtores e de manutenção da edificação. Vê-se como contribuição deste trabalho a continuidade da pesquisa na área de “marcação" por etiquetas "inteligentes", Web orientação e gestão da informação como forma de auxiliar a realização dos processos construtivos de edificações. / In recent years, technical standards related to the construction sector have been created and updated, referencing and guiding the processes, construction and maintenance systems required for the purpose of building up to comply with minimum standards and thus disciplining the construction market. Throughout the entire construction process a large amount of information is generated and needs to be properly organized in order to facilitate its rescue when it is necessary to use it. Information and communication technology (ICT) has contributed to this process. This work aims to propose the development of a computerized environment model for information management of the construction process. For this task, it was made conceptual use of ICTs such as the Web Orientation using Content Management Systems (SGC) the QR Code. The result of this combination of technologies is a basic logical model that provides transparent, real-time access to the information and records necessary for the everyday tasks of the companies in a transparent and easy way, as well as to enable tracking dynamically without geographical limits. An example of an application for work safety is presented in this work. The proposed model facilitates the modeling of information and information management by providing feedback for decisions and follow-ups in the work. Access to the system takes place through mobile connection technologies such as notebooks, smart phones and tablets, supporting workers and professionals building and maintenance of the building. It is seen as a contribution of this work the continuity of the research in the area of marking by intelligent tags, Web orientation and information management as a way to assist the construction processes of buildings.

[pt] Nas últimas décadas, a área de detecção da face e suas características tem recebido bastante atenção da comunidade científica dada sua importância em diversas aplicações, tais como, reconhecimento de faces, interação humanocomputador, reconhecimento de expressões faciais, segurança, etc. Esta dissertação propõe a utilização de um classificador baseado em FERNS no treinamento e reconhecimento de pontos característicos a fim de possibilitar a detecção das características da face. São revistas, brevemente, as principais abordagens utilizadas na detecção de características faciais e a teoria de reconhecimento de pontos característicos utilizando os FERNS. Também é apresentada uma implementação de um detector de características da face baseado nos FERNS e os resultados obtidos. O método proposto conta com uma fase de treinamento offline durante a qual diversas vistas dos pontos característicos extraídos de uma imagem de treinamento são sintetizadas e utilizadas no treinamento dos FERNS. A detecção das características da face é realizada nas imagens obtidas, em tempo real, de diversos pontos de vista e sob diferentes condições de iluminação. / [en] Over the last decades, face detection and facial features detection have received a great deal of attention from the scientific community, since these tasks are essential for a number of important applications, such as face recognition, face tracking, human-computer interaction, face expression recognition, security, etc. This work proposes the use of a classifier based on FERNS to recognize interest points across images and then detect and track the facial features. We begin with a brief review of the most common approaches used in facial features detection and also the theory around the FERNS. In addition, an implementation of the facial features detection based on FERNS is present to provide results and conclusions. The method proposed here relies on an offline training phase during which multiple views of the keypoints to be matched are synthesized and used to train the FERNS. The facial features detection is performed on images acquired in real-time from many different viewpoints and under different lighting conditions.

Context: In recent times, many organizations have started using agile software development methodologies instead of using traditional methodologies. The main reason for this shift is the ability of agile approaches to cope with changes in the requirements, customer satisfaction and assurance of on-time delivery of quality products [19]. Test-Driven Development (TDD) is a software development methodology that is considered to be one of the most prominent practices of eXtreme Programming (XP) (an agile methodology) [1][9][10]. Test-list in TDD is considered as a temporary repository in which test items are stored and later by using those items test cases are developed. Requirements Traceability is also a major problem in agile development mainly because of lack of formal requirements specification and frequent requirements change. Objectives: This study explores the utilization of test-list and possibility of using test-list for requirements traceability in TDD. This study describes concept of test-list, its formation and exploring its utilization in TDD. Methods for implementing requirements traceability in and identification of possibility of utilizing test-list for requirements traceability in TDD is also explored. Methods: Methods used in this study are systematic literature review, surveys and interviews. Systematic literature review was done using seven electronic databases, including Inspec, IEEE Xplore, ACM Digital Library, Springer, Science Direct and Scopus. Studies were selected on the bases of preliminary, basic and advanced developed criteria. Survey was conducted using online questionnaire from TDD practitioners. Findings from literature review and surveys were used to develop interview questionnaires. Interviews were conducted from the same practitioners that were involved in surveys. Results: Based on the findings of literature review, questionnaire and interviews, we obtained TDD practices for test-list development and requirements traceability. Analysis was performed on results of SLR and questionnaire and possibility of using test-list for requirements traceability was identified. Based on the analysis of literature review and surveys, interview questionnaire were developed to further investigate the area of interest. We have found that in literature there is no defined method to develop test-list. and survey participants also confirms it. Majority of survey participants create test-list temporarily and informal. On question of whether test-list can be use for requirements traceability around 70% of participants are agree for its use. Interview respondents also confirm the findings of survey. Conclusions: Literature has not provided any test-list development method and practitioners also have no clear guideline to develop test-list prior to Test development. Systematic literature review and practitioner’s survey and interviews confirm it. Literature is also silent for any specific requirements change management or requirements traceability method in TDD. We identified requirements traceability practices in agile and management through literature and survey. After analysis of gathered data we found TDD lacks in test-list formalization, none of the study focuses on requirements traceability in TDD. In this study our contribution is exploration of test-list creation and utilization through literature and state of the practice; after practitioners feedback we also explored that test-list can be used for requirements traceability. / hasmkh@gmail.com, ibrararshad@gmail.com

The impact of computer programs in safety-critical systems has increased in the past decades and computer-based systems can now be found in a wide range of applications. A new approach for developing dependable systems is documenting all design rationale that affects safety using Intent Specifications. A recent approach for developing complex systems efficiently and in an upgradeable manner is Component-Based System Engineering. In this thesis, these approaches are combined in the development and upgrade of a Remote Robot Control Unit by using the tool SpecTRM. The case study showed that Intent Specifications and CBSE could successfully be combined. The tool SpecTRM was also studied during this work. It showed that traceability is of great importance during system upgrades. Since SpecTRM does not support formal verification of safety properties in design models, the SpecTRM-RL models were translated to Esterel code. Further analysis showed that functional verification can be efficient and useful when using the automatic model-checking tool available in Esterel Studio. This work also proposes a practical guideline for system upgrades in component-based systems, presented as the Sigma model. The work also showed some shortcomings. First of all, the tool SpecTRM is at an early development stage and not yet mature for industrial use. Secondly, neither of the two languages SpecTRM-RL and Esterel was expressive enough for some of the numerical computations and data-exchange structures needed for navigation in the system. Finally, the verifier was not able to prove any data properties since valued signals are abstracted into pure signals during verification in Esterel Studio.

In many smaller companies, requirements management is a daunting challenge. Smaller groups mean fewer resources, and many organizations focus their efforts on design, development and testing not on managing requirements. Some small organizations may perceive requirements management as an activity only for large organizations that have complex products and large staffs to support the effort. Poor and uncontrolled requirement engineering processes yield low quality, highly expensive software products. Obviously, customers are highly dissatisfied with such systems. One of the most critical requirement engineering processes that grossly contribute to this misnomer is lack of “effective requirements management” Information Technology Associates (ITA) has had many challenges resulting from some poor and uncontrolled requirements engineering processes. Lack of effective requirements traceability has also had its share in plaguing ITA in software development activities. ITA started small and so it handled its requirements documentation manually as it only dealt with few customer requirements. Time has seen the company expand, and manual handling of customer requirement became difficult. This master thesis therefore aims to investigate: ♦ The state-of-practice, regarding requirements engineering and requirements management within a medium-sized software development company. ♦ How to successfully implement effective requirement management process within the ITA Company. ♦ How to successfully migrate ITA Company into this RE process while ensuring minimum hassles.