• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 127
  • 110
  • 31
  • 23
  • 12
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 367
  • 92
  • 85
  • 64
  • 60
  • 59
  • 49
  • 46
  • 44
  • 43
  • 42
  • 40
  • 38
  • 37
  • 33
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Utformning av material- och informationsflöden för förbättrad spårbarhet av produkter i arbete : En fallstudie vid GKN ePowertrain Köping / Design of material and information flows for improved traceability of work in progress : A case study at GKN ePowertrain Köping

Melander, Marcus, Sjöström, Anton January 2019 (has links)
Spårbarhet är ett sätt att skapa en översiktlig vy av företagets material- och informationsflöden så att de kan koordineras bättre. Material- och informationsflödena behöver i sin tur vara utformade på ett synkroniserat vis där dess tillhörande aktiviteter och system stödjer spårbarhet. Den exakta betydelsen av begreppet spårbarhet är dock otydlig då det existerar en rad olika definitioner av begreppet i litteraturen. I denna studie har spårbarhet däremot definierats som “förmågan att spåra, följa och förutse ett produktpartis plats genom tillverkningsprocessen”. Spåra är förmågan att kunna koppla tidigare händelser i tillverkningen mot ett specifikt produktparti. Följa är förmågan att kunna se ett produktpartis nuvarande plats i flödet och förutse är förmågan att kunna förutse dess framtida plats i flödet. På GKN ePowertrain i Köping finns en prototypavdelning som utvecklar och tillverkar prototyper av kuggväxlar till fyrhjulsdriftsystem. Avdelningen har uppmärksammat problem i tillverkningen vilka har tolkats komma från en bristande spårbarhet av produkter i arbete (PIA). De har exempelvis upplevt det svårt att hålla reda på var PIA befinner sig i tillverkningsprocessen och vilka delprocesser PIA redan bearbetats i. Denna fallstudie har därför syftat till att kartlägga prototypavdelningens material- och informationsflöden och undersöka hur de skulle kunna utformas för förbättrad spårbarhet av PIA. För att kartlägga prototypavdelningens material- och informationsflöden samlades data in via flera intervjuer, observationer och en kontinuerlig dialog med representanter från avdelningen. Det studerade fallet analyserades sedan genom att jämföra teoretiska implikationer för vilken utformning av flödena som stödjer spårbarhet av PIA med de kartlagda flödena. Jämförelsen lade grund för slutsatser och förslag på hur prototypavdelningen skulle kunna förbättra spårbarheten av PIA. Studien visar att prototypavdelningens material- och informationsflöden utgör ett relativt bra stöd för spårbarhet i termer av förmågan att spåra och förutse men nära till inget stöd för förmågan att följa PIA. För att stödja förmågan att följa PIA bör prototypavdelningen utveckla en funktion som tillåter att inrapportera information om lagrings- och transportaktiviteter i form av platsdata till ett spårbarhetssystem. Det har vidare observerats goda möjligheter att använda automatiserad teknik i form av ett streckkodsystem för att utveckla denna funktion. Prototypavdelningen bör även utveckla mer standardiserade processer i materialhanteringen för att erhålla större förutsägbarhet för inlagring och transporter av PIA då det påvisats stödja spårbarhet. För att förbättra stödet för förmågorna spåra och förutse bör prototypavdelningen även arbeta för att minska tidsramen mellan händelse och inrapportering av händelsen.
82

Alimento seguro: uma análise do ambiente institucional para oferta de carne bovina no Brasil / Food safety: an analysis of the institutional environment for the beef offer in Brazil

Furquim, Nelson Roberto 15 June 2012 (has links)
Artigo 1 - Sistemas de identificação e rastreabilidade na cadeia produtiva alimentar: uma análise sob a perspectiva da oferta segura de carne bovina A carne bovina é um importante segmento do agronegócio brasileiro, com elevada participação no valor das exportações do país. Este artigo objetiva discutir a consistência da legislação brasileira que ampara o Sistema de Identificação e Certificação de Bovinos e Bubalinos (SISBOV), em comparação às legislações de alguns países pioneiros na utilização de sistemas de identificação e rastreabilidade (SIRs) das cadeias produtivas de alimentos. Essa análise, embasada na teoria de Economia Institucional, parte da estrutura de produção pecuária doméstica, com base em dados secundários do MAPA, SECEX/MDIC, IBGE, FAO e ABIEC7, e de documentos que estabelecem a política de alimentos seguros, do MS8 e do MAPA. O estudo da legislação internacional abarca documentos oficiais dos Estados Unidos, Canadá e União Europeia (UE). O SISBOV foi desenvolvido para atender às exigências impostas pela UE para importação de carne bovina brasileira. A adesão a esse Serviço envolve uma série de ajustes na gestão dos vários elementos da cadeia produtiva de carne para viabilizar a sua exportação para a UE. Do ponto de vista de sua estrutura, esse sistema atende às exigências do mercado europeu, muito embora pareça mais factível para produtores e frigoríficos mais capitalizados. Adicionalmente, o SISBOV constitui-se, potencialmente, como um mecanismo inibidor de eventuais práticas ilegais, como abates clandestinos e sonegação de impostos. ARTIGO 2 - Os prós e contras do SISBOV: uma visão dos agentes econômicos da cadeia produtiva de carne bovina no Brasil. A partir dos anos 1990, a politica de comercio internacional de inúmeros países e a percepção de consumidores acerca da qualidade de alimentos derivados de animais foram influenciadas por crises de insegurança alimentar de amplo escopo que ganharam destaque naquele período. O SISBOV, implantado no Brasil em 2002, mandatório para pecuaristas que exportam para países que exigem rastreabilidade, elevou a complexidade da gestão da atividade pecuária e de seus custos no país. Este estudo objetiva mapear e identificar a opinião de pecuaristas, frigoríficos, empresas certificadoras, associações de classe e órgãos de inspeção e regulação acerca das medidas e dos serviços governamentais que visam a produção segura de carne bovina, em particular acerca do SISBOV. A pesquisa empírica foi conduzida por via eletrônica, com convites enviados a 414 potenciais participantes estabelecidos em todo o Brasil, e resultou numa amostra de 34 respondentes, de ambos os sexos, a maioria com formação acadêmica qualificada. As respostas foram tratadas e processadas com base na aplicação da metodologia qualiquantitativa do DSC. Resultados obtidos indicam que os atores da cadeia produtiva de carne bovina estão insatisfeitos com o SISBOV, na medida em que o sistema não atendeu suas expectativas. A baixa adesão dos pecuaristas se deve, principalmente, aos custos adicionais para implantação do sistema - ainda que se reconheça a sua contribuição para a gestão das fazendas -, sem garantia de retorno financeiro aos participantes, uma vez que e incerto o pagamento de valores adicionais pelos animais rastreados, pois os frigoríficos detém poder de mercado e estabelecem os preços nas transações com os pecuaristas. Criadores de gado percebem o SISBOV como uma etapa prévia a inclusão da propriedade rural na Lista TRACES, exigência adicional e exclusiva para exportadores brasileiros de carne bovina para a UE e que pode ser entendida como uma barreira não tarifaria. / Food production chain identification and traceability systems: an analysis considering the perspective of a safe beef offer. Beef is an important segment in the Brazilian agribusiness, with high share in the country exports value. This article aims at a discussion about the consistency of the Brazilian legislation that supports the Cattle and Buffalo Identification and Certification System (SISBOV), compared to the legislation of some pioneering countries that have been using identification and traceability systems in food production chains. The analysis, based upon Institutional Economics, involves an approach of the structure of the domestic cattle production, using secondary data made available by MAPA, SECEX/MDIC, IBGE, FAO and ABIEC, besides documents that establish the food safety policy, from MS and MAPA. The international legislation study was carried out from official documents from the United States of America, Canada and the European Union (EU). SISBOV was developed to comply with the exigences imposed by the EU to import Brazilian beef. The adherence to that system involves several adjustments in the management of the elements of the beef production chain to make it feasible to export to the EU. From the point of view of its structure, that system complies with the exigences of the European market, even though it seems to be more feasible to wealthier producers and slaughters. Further to that, SISBOV is, potentially, an inhibiting mechanism to occasional illegal practices such as clandestine slaughters and tax evading. SISBOV pros and cons: the perspective of the beef production chain economic agents in Brazil From the 1990´s on, the international trade policy from various countries and the consumers perception about the quality of animal based food were influenced by broad reach food unsafety crisis, that were pointed out at that moment. SISBOV, implemented in Brazil in 2002, mandatory to producers to export to countries that require traceability, increased the complexity of the cattle raising management and its costs in the country. This objective of this study was to seek and identify the opinion of producers, slaughters, certifying companies, class associations and inspection and regulatory entities, about the governmental procedures and services that aim at a safe beef production, particularly the SISBOV. The empirical research was carried out by electronic means, with invitations sent to 414 potential respondents all over Brazil, and led to a sample of 34 final respondents, both genders, most of them with qualified academic background. The answers were handled and processed based upon the use of the Discourse of the Collective Subject qualiquantitative methodology. Obtained results indicated the beef production chain actors are dissatisfied with SISBOV, taking into account that the system did not accomplish their expectations. The producers low adherence is, mainly, due to the additional costs to implement the system even though its contribution to the farms management is recognized - , without any payback guarantee to the participants, considering it is uncertain the payment of additional values for the traced cattle, since the slaughters hold the market power and establish the prices in the transactions with the producers. The producers perceive SISBOV as a previous step to include the farm in the TRACES List, an additional and exclusive exigency to Brazilian beef exporters to the EU, which can be understood as a non-tariff barrier.
83

Uma abordagem para representação de resultados formais na UML / An approach for representing formal results in the UML

Pereira, Vinícius 05 June 2017 (has links)
A UML é uma notação gráfica utilizada na modelagem de sistemas orientados a objetos, em diferentes domínios da computação. Por ser simples de utilizar, em relação a outras formas de modelagem, a UML é amplamente difundida entre os desenvolvedores de software, tanto na academia quanto na indústria. Entre as suas vantagens, encontram-se: (i) a representação visual das relações entre classes e entidades, pois ao se utilizar de diagramas, a UML facilita o entendimento e a visualização das relações dentro do sistema modelado; (ii) a legibilidade e usabilidade, sem que seja necessário a leitura do código do sistema, uma vez que um desenvolvedor pode compreender quais partes do código são redundantes ou reutilizadas; e (iii) uma ferramenta de planejamento, ao auxiliar na definição do que deve ser feito, antes que a implementação comece de fato, além de poder produzir código e reduzir o tempo de desenvolvimento. Todavia, a UML possui desvantagens, tais como: (i) ambiguidade entre elementos UML diferentes, devido a sobreposição dos diagramas; e (ii) falta de uma semântica clara, o qual geralmente faz com que a semântica da linguagem de programação seja adotada. Para mitigar essas desvantagens, pesquisadores buscam atribuir uma semântica formal à UML. Esse tipo de semântica é encontrado em modelos formais, onde o sistema modelado é livre de ambiguidades e possui uma semântica clara e precisa. Por sua vez, os modelos formais não são simples de serem criados e compreendidos por desenvolvedores. O grau de conhecimento em formalismo necessário para utilizar tal modelo é alto, o que faz com que seu uso seja menos difundido, comparado com a notação gráfica não formal da UML. Apesar dos esforços dos pesquisadores, as técnicas de formalização semântica da UML apresentam, no geral, um problema pouco abordado: apesar de utilizar a UML para modelar o sistema, o artefato final dessas técnicas é um trace formal. Considerando o conhecimento comum de um desenvolvedor de software, esse trace dificulta a análise dos problemas, encontrados pelos model checkers, e a correção dos mesmos no modelo UML. Com o objetivo de auxiliar o desenvolvedor na compreensão dos resultados formais (o trace citado), esta tese de doutorado apresenta uma abordagem baseada em Model-driven Architecture (MDA) capaz de representar as informações dos resultados formais dentro de um modelo UML. Por meio de transformações do modelo UML, essas representações, definidas utilizando a abordagem, auxiliam o desenvolvedor a visualizar o fluxo de execução do model checker dentro do modelo UML. Assim, acredita-se que as vantagens obtidas pela formalização semântica da UML podem ser mais difundidas e utilizadas pelos desenvolvedores, principalmente na indústria. / UML is a graphical notation used for modeling object-oriented software systems in different domains in computer science. Being simple to use, compared to other modeling techniques, UML is widespread among software developers, both in academia and industry. Among its advantages are: (i) the visual representation of the relationships between classes and entities, as when using diagrams, UML facilitates understanding and visualization of relationships within the modeled system; (ii) readability and usability without having to read the system code, since a developer can understand which parts of the code are redundant or reusable; and (iii) a planning tool, helping to define what needs to be done before the implementation actually begins, as well as being able to produce code and reduce development time. However, the UML also has disadvantages, such as: (i) ambiguity between different UML elements due to overlapping diagrams; and (ii) lack of clear semantics, which generally causes the semantics of the programming language to be adopted. To mitigate these disadvantages, researchers seek to assign a formal semantics to the UML. This type of semantics is found in formal models, where the modeled system is free of ambiguity and has a clear and precise semantics. On the other hand, formal models are not simple to create and understand by developers. The degree of formalism knowledge required to use such a model is high, which makes their use less widespread, compared to UML non-formal graphical notation. Despite the researchers efforts, in general the techniques that formalize the UML semantics has a problem that is forgotten: although using the UML to model the system, the final artifact of these techniques is a formal trace. Considering the common knowledge of a software developer, this trace makes it difficult to analyze the problems encountered by model checkers and to correct them in the UML model. In order to assist the developer in understanding the formal results (the trace above), this thesis presents an approach based on Model-driven Architecture (MDA) capable of representing the information of the formal results in the UML model. Through UML model transformations, these representations, set using the approach, help the developer to visualize the execution flow of the model checker within the UML model. Thus, we believe that the advantages obtained by formalizing the UML semantics may be more widespread and used by developers, especially in industry.
84

Un îlot formel pour les transformations de modèles qualifiables / A formal island for qualifiable model transformations

Bach, Jean-Christophe 12 September 2014 (has links)
Le processus de développement logiciel est composé d'un grand nombre d'étapes qui intègrent de plus en plus d'outils. Les chaînes de développement de systèmes critiques (aéronautique, domaine médical) font appel à des outils de génération de code basés sur des modèles. Cette complexification a des conséquences sur la vérification des logiciels critiques. Les contraintes légales imposant qu'ils soient certifiés, la qualification des outils utilisés lors de leur développement est nécessaire. Dans cette thèse, nous nous proposons d'aider le processus de qualification en élaborant des méthodes et outils pour le développement fiable. Pour ce faire, nous présentons une méthode hybride de transformation de modèles par réécriture. Nous nous appuyons sur le langage Tom qui fournit de nouvelles fonctionnalités aux langages généralistes par l'ajout de constructions dédiées. Nous proposons aussi une traçabilité de ces transformations afin de répondre aux exigences de la qualification. La trace générée peut être utilisée a posteriori à des fins de vérification. / Software development process is composed of steps which integrate an increasing number of tools. Development chains for critical systems (avionics, health field) have gradually adopted model-based code generation tools. This increase of complexity has consequences on critical software verification. As legal constraints require to certify them, tools used during the development have to be qualified. In this thesis, we propose to help the qualification process by providing methods and tools for liable development. To do so, we present an hybrid models transformation method based on rewriting. We rely upon Tom language which provides new features to general purposes languages by adding dedicated constructs. We also propose a traceability in order to respect qualification requirements. The generated trace can then be used for verification purpose
85

Conditional Privacy-Preserving Authentication Protocols for Vehicular Ad Hoc Networks

Li, Jiliang 17 May 2019 (has links)
No description available.
86

Especificação de um framework para rastreabilidade da cadeia produtiva de grãos

Vaz, Monica Cristine Scherer 21 February 2014 (has links)
Made available in DSpace on 2017-07-21T14:19:40Z (GMT). No. of bitstreams: 1 MONICA CRISTINE SCHERER VAZ.pdf: 2687414 bytes, checksum: 22b96a7da0478a4e61874c0a445e1d24 (MD5) Previous issue date: 2014-02-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Traceability allows to identify the product’s origin and route, at any time of its production chain, main requirement in normalization processes, certifications and in quality management systems. About food products, where contamination acciddent’s impact involves health damage, traceability allows that the affected lots may be detected and quickly removed from the market with safety, minimizing losses. Besides legal requirements about traceability, the final consumer is looking for having access to informations about food which are being eaten, motivating tecnological solution’s development in this area. The goal of this dissertation is to present the specification of RastroGrão Framework, to traceability of productive grains process. This Framework is based in regulations and rules of quality applied to traceability and in systems of grains traceability, allowing records relative to production’s processes. These records can be changing according to the necessity of each participant agent of production chain. Data to be traced are recorded by the user, not being necessary system maintenance everytime it appears a new requirement to be traced. To the development of Framework was used Java Language to WEB Environment and PostgreSQL Database. The main contribution of this dissertation are related to the benefits offered by the Framework are: i) visibility of informations, which can be accessed through internet, by all the chain agents; ii) integration of all links of the productive chain; and iii) information’s availability to the final consumer through QR-Code, that can be accessed in the internet or printed on the packaging. / A rastreabilidade permite identificar a origem e o percurso de um produto, em qualquer momento de sua cadeia produtiva, requisito fundamental em processos de normalização, certificações e em sistemas de gestão da qualidade. Em se tratando de produtos alimentícios, onde o impacto de acidentes de contaminação envolve riscos a saúde, a rastreabilidade permite que os lotes afetados sejam detectados e retirados do mercado, com rapidez e segurança, minimizando prejuízos. Além das exigências legais em torno da rastreabilidade, o consumidor final está buscando ter acesso às informações sobre os alimentos que estão consumindo, motivando o desenvolvimento de soluções tecnológicas nesta área. O objetivo desta dissertação é apresentar a especificação do Framework RastroGrão, para rastreabilidade do processo produtivo de grãos. Esse Framework está baseado nos regulamentos e normas de qualidade aplicadas à rastreabilidade e em sistemas de rastreabilidade de grãos, permitindo os registros inerentes aos processos de produção. Esses registros podem ser alterados de acordo com a necessidade de cada agente participante da cadeia de produção. Os dados a serem rastreados são registrados pelo próprio usuário, não necessitando de manutenção de sistema cada vez que surge um novo requisito a ser rastreado. Para o desenvolvimento do Framework foi utilizada a Linguagem Java para Ambiente WEB e o Banco de Dados PostgreSQL. As principais contribuições desta dissertação estão relacionadas aos benefícios oferecidos pelo Framework são: i) visibilidade das informações, as quais podem ser acessadas pela internet, por todos os agentes da cadeia; ii) integração de todos os elos da cadeia produtiva, e iii) disponibilização das informações para o consumidor final através de QR-Code, que pode ser acessado na internet ou impresso nas embalagens
87

ONTOLOGIA PARA RASTREABILIDADE NA CADEIA PRODUTIVA DE SEMENTES

Debtil, Selma Josette Silveira 28 March 2014 (has links)
Made available in DSpace on 2017-07-21T14:19:41Z (GMT). No. of bitstreams: 1 Selma Josette Silveira Debtil.pdf: 3057620 bytes, checksum: 055f6dd0f0ea7471dde2b438c8f32659 (MD5) Previous issue date: 2014-03-28 / Ontologies represent the knowledge and are linked to technological developments. In agribusiness, the use of traceability increases the safety of their products and their quality. Quality assurance and process improvement is essential for seed producers. The rate of use of certified and inspected seed has grown and characterized by high competitiveness. This dissertation presents the development of ontology for quality assurance and process improvement through knowledge representation in seed production. The acquisition of knowledge was conducted by surveying Laws, regulations and standards pertaining to seed production. For the process of ontology development was used the tool Protégé, merging metodologies such as Enterprise, Methontology, On-to-Knowledge, Ontology's Development 101 Guide. As results, a system of knowledge representation and its vocabulary are presented, describing the ontology terms, classes, hierarchies, properties, restrictions and instances. One of the contributions of this research is the methodological route, enabling obtainment of main domain terms in the ontology and taxonomy generated. Traceability related to seed certification provides information that require effective control by seed companies. The creation of ontology reinforces the use of the definition of domain knowledge as information management tool, quality and transparency for entire production chain. / As ontologias representam o conhecimento e estão vinculadas à evolução tecnológica. No agronegócio, o uso da rastreabilidade aumenta a segurança de seus produtos e a sua qualidade. A garantia da qualidade e melhoria de processos é necessária para os produtores de sementes. A taxa de utilização de sementes certificadas e fiscalizadas vem crescendo e caracterizada pela alta competitividade. Esta dissertação apresenta o desenvolvimento de ontologia para a garantia da qualidade e a melhoria dos processos, através da representação do conhecimento na produção de sementes. A aquisição do conhecimento foi realizada através do levantamento de Leis, regulamentos e normativas inerentes a produção de sementes. Para o processo de desenvolvimento da ontologia foi utilizada a Ferramenta Protégé, combinando as metodologias Enteprise, Methontology, On-to-Knowledge e do guia Ontology Development 101. Como resultado é apresentado um sistema de representação de conhecimento e seu vocabulário, com a descrição da ontologia, termos, classes, hierarquias, propriedades, restrições e instâncias. Uma contribuição da pesquisa é o roteiro metodológico, possibilitando a obtenção dos principais termos do domínio e a taxionomia gerada na ontologia. A rastreabilidade associada à certificação de sementes gera informações que demandam de controle efetivo pelas empresas produtoras de sementes. A criação da ontologia reforça a utilização da definição do conhecimento do domínio como ferramenta de gestão de informações, qualidade e transparência em todas as etapas do processo produtivo.
88

Desenvolvimento de um sistema eletrônico para gestão de medicamentos não padronizados no Hospital das Clínicas da Faculdade de Medicina de Ribeirão Preto da Universidade de São Paulo (HCFMRP-USP) / Development of an electronic system for the management of Standardized at the Hospital das Clínicas of the Medical School of Ribeirão Preto da University of São Paulo (HCFMRP-USP)

Gomez, William Ernesto Ardila 07 November 2016 (has links)
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.
89

Improving the quality of bug data in software repositories

Auwal, Bilyaminu Romo January 2016 (has links)
Context : Researchers have increasingly recognised the benefit of mining software repositories to extract information. Thus, integrating a version control tool (VC tool) and bug tracking tool (BT tool) in mining software repositories as well as synchronising missing bug tracking data (BT data) and version control log (VC log) becomes of paramount importance, in order to improve the quality of bug data in software repositories. In this way, researchers can do good quality research for software project benefit especially in open source software projects where information is limited in distributed development. Thus, shared data to track the issues of the project are not common. BT data often appears not to be mirrored when considering what developers logged as their actions, resulting in reduced traceability of defects in the development logs (VC logs). VC system (Version control system) data can be enhanced with data from bug tracking system (BT system), because VC logs reports about past software development activities. When these VC logs and BT data are used together, researchers can have a more complete picture of a bug’s life cycle, evolution and maintenance. However, current BT system and VC systems provide insufficient support for cross-analysis of both V Clogs and BT data for researchers in empirical software engineering research: prediction of software faults, software reliability, traceability, software quality, effort and cost estimation, bug prediction, and bug fixing. Aims and objectives: The aim of the thesis is to design and implement a tool chain to support the integration of a VC tool and a BT tool, as well as to synchronise the missing VC logs and BT data of open-source software projects automatically. The syncing process, using Bicho (BT tool) and CVSAnalY (VC tool), will be demonstrated and evaluated on a sample of 344 open source software (OSS) projects. Method: The tool chain was implemented and its performance evaluated semi-automatically. The SZZ algorithm approach was used to detect and trace BT data and VC logs. In its formulation, the algorithm looks for the terms "Bugs," or "Fixed" (case-insensitive) along with the ’#’ sign, that shows the ID of a bug in the VC system and BT system respectively. In i addition, the SZZ algorithm was dissected in its formulation and precision and recall analysed for the use of “fix”, “bug” or “# + digit” (e.g., #1234), was detected was detected when tracking possible bug IDs from the VC logs of the sample OSS projects. Results: The results of this analysis indicate that use of “# + digit” (e.g., #1234) is more precise for bug traceability than the use of the “bug” and “fix” keywords. Such keywords are indeed present in the VC logs, but they are less useful when trying to connect the development actions with the bug traces – that is, their recall is high. Overall, the results indicate that VC log and BT data retrieved and stored by automatic tools can be tracked and recovered with better accuracy using only a part of the SZZ algorithm. In addition, the results indicate 80-95% of all the missing BT data and VC logs for the 344 OSS projects has been synchronised into Bicho and CVSAnalY database respectively. Conclusion: The presented tool chain will eliminate and avoid repetitive activities in traceability tasks, as well as software maintenance and evolution. This thesis provides a solution towards the automation and traceability of BT data of software projects (in particular, OSS projects) using VC logs to complement and track missing bug data. Synchronising involves completing the missing data of bug repositories with the logs de tailing the actions of developers. Synchronising benefit various branches of empirical software engineering research: prediction of software faults, software reliability, traceability, software quality, effort and cost estimation, bug prediction ,and bug fixing.
90

[en] EVOLUTION OF SCENES THROUGH A MECHANISM OF TRACKING BASED ON TRANSFORMATIONS / [pt] EVOLUÇÃO DE CENÁRIOS ATRAVÉS DE UM MECANISMO DE RASTREAMENTO BASEADO EM TRANSFORMAÇÕES

ULF BERGMANN 02 September 2003 (has links)
[pt] A importância da rastreabilidade na evolução de sistemas é um fato amplamente reconhecido, mas apesar dos esforços despendidos até agora, ainda encontramos vários obstáculos a sua efetiva utilização. Esses obstáculos são relacionados a geração e validação das informações sobre os relacionamentos e interdependências entre o mundo real, os requisitos e o sistema de software. Estas informações freqüentemente não são confiáveis devido a inconsistência causada pela evolução distinta dos vários artefatos resultantes do processo de desenvolvimento de um sistema. Esta tese tem como objetivo estudar a utilização da tecnologia transformacional na implementação de um mecanismo de rastreamento de maneira a se obter a atualização automática das informações de rastreamento, através da identificação das mudanças ocorridas entre versões consecutivas dos artefatos produzidos e o seu subseqüente armazenamento na forma de transformações. Os benefícios obtidos pelo uso deste mecanismo permitirão: a eliminação dos problemas da falta de atualização das informações de rastreamento e o conseqüente aumento do valor destas informações para o desenvolvedor; a sistematização do processo de rastreamento; e a diminuição do custo para se obter, atualizar e validar as informações de rastreamento. Além destes benefícios, o armazenamento das informações de rastreamento na forma de transformações incorpora um maior conhecimento sobre a modelagem realizada, ao contrário de outros mecanismos que armazenam somente os artefatos e seus interrelacionamentos estáticos. / [en] The importance of traceability in software evolutions was quite established, but despite the effort spent, they are many issues that difficult they effective use. These issues are related to the generating and validating of trace information about the relationships and interdependencies between the real world, the requirements and the software system. This information is often mistrusted since they may have become obsolete due to separate evolution of models and systems. This thesis study the use of the transformational technology in the implementation of a traceability mechanism that automatically obtain trace information by identifying the changes made in consecutive artifact versions and store it as transformations. The main advantages gained with it uses are the elimination of the problems of the lack of trace information updating, the systematization of the trace process and the decrease of the cost to obtain, update and validate trace information. Besides these benefits, the storage of trace information in the form of transformations incorporates a larger knowledge on the accomplished modeling, unlike other mechanisms that only store the artifacts and their static inter- relationships.

Page generated in 0.0427 seconds