• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 215
  • 4
  • 3
  • 3
  • 2
  • 2
  • 1
  • Tagged with
  • 232
  • 91
  • 61
  • 58
  • 44
  • 40
  • 37
  • 35
  • 31
  • 31
  • 26
  • 25
  • 24
  • 23
  • 23
  • 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.
21

Um modelo computacional de apoio ao desenvolvimento do pensamento crítico

Martins, Scheila Wesley January 2005 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-07-16T00:12:47Z (GMT). No. of bitstreams: 0 / Este trabalho apresenta a analise e o desenvolvimento de um modelo computacional para um ambiente educacional construído para auxiliar a desenvolver o pensamento critico. A intencao e disponibilizar uma ferramenta computacional mediadora, cujo uso estimule alunos e professores a se identificarem com uma nova dinamica do processo ensino-aprendizagem, na qual eles estejam envolvidos e comprometidos com um processo de aquisicao do conhecimento que se desenvolva atraves do dialogo, da reflexao e da troca intelectual. O modelo computacional desenvolvido deu origem ao WebPensa, uma proposta de ferramenta mediadora da Tecnologia Computacional Educativa, e constitui apenas um dos resultados possiveis baseados nesse modelo, o qual foi inspirado na metodologia de aprendizado definida por Matthew Lipman e nas premissas da Teoria da Atividade.
22

Hipermídia sobre o contexto histórico e artístico das descobertas geométricas

Martins, Maria de Lourdes Zanettini January 2002 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-19T18:06:32Z (GMT). No. of bitstreams: 1 188474.pdf: 6192710 bytes, checksum: 0815f76c6da4c8a6ce31e1c1b928b80b (MD5)
23

Determinação do nível de sistematização e proposta de revisão da técnica de inspeção de conformidade ergonômica para software educacional

Silva, Erivaldo Cabral da January 2002 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós -Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-20T09:46:02Z (GMT). No. of bitstreams: 1 224767.pdf: 383801 bytes, checksum: f50d1c3330f016152e257d77bbff7d31 (MD5) / Propor melhoria na avaliação da qualidade de software Educacional constitui o objetivo deste trabalho, através da revisão da Técnica de Inspeção Ergonômica de Software Educacional - TICESE. Como resultado, obteve-se um novo checklist revisado. Para atingirmos este objetivo, a técnica foi aplicada em um software educacional por um grupo de dezesseis avaliadores, todos professores do CEFET-RN. O trabalho realizado se deu através da medição dos níveis de concordâncias e antagonismos de cada questão. Neste trabalho destacam-se algumas contribuições nas teorias de aprendizagem, na informática educativa, tais como: software educacional como ferramenta de auxílio ao professor; os modelos de avaliação da qualidade de softwares educacionais; os métodos de avaliação e os checklists. Espera-se que, com este trabalho, possamos contribuir com avaliações da qualidade de softwares educacionais. Assim, garantirmos aos usuários destes produtos computadorizados aplicados como recursos didáticos mais qualidade e satisfação entre eles. E que as escolas com seus projetos pedagógicos possam utilizar tais recursos para promover o ensino/aprendizagem conjuntamente com o professor e o aluno.
24

A contribuição dos softwares educacionais no processo da alfabetização

Bottazzini, Marinês Lara January 2001 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-19T10:14:02Z (GMT). No. of bitstreams: 1 180191.pdf: 2847546 bytes, checksum: 0bff0095d800d262f95599ca1d8ed6fb (MD5) / A alfabetização não é somente o ato de ler e escrever palavras, decodificar símbolos: este estudo aprofunda-se na importância que o meio social traz às crianças de cinco a oito anos e a influência que seu meio pode trazer no desenvolvimento cognitivo. Hoje as novas tecnologias de informação e comunicação vem alterando a maneira de ser e de viver de cada sociedade, de cada família, de cada cidadão. A escola por sua vez, não pode ficar a parte deste novo tempo. Considerando a prática educacional, vivenciada na escola, esta dissertação investiga o uso dos recursos da multimídia como meios que venham facilitar a eficácia do processo da alfabetização, e orienta os professores alfabetizadores a utilizarem os softwares educacionais como ferramenta de auxílio em suas práticas docentes. A finalidade desse trabalho é estudar softwares educacionais como: Kid Pix, Logo e Visual Class e apresentar sugestões de atividades diárias. Atividades estas, que o professor não necessita alterar o currículo proposto pela escola e ao mesmo tempo contextualizar a escola com o meio ambiente que a criança traz junto de si, favorecendo o desenvolvimento cognitivo do educando. As Novas Tecnologias de Informação e Comunicação além de renovar o processo ensino-aprendizagem, vão propiciar o desenvolvimento integral do aluno, valorizando o seu lado social, emocional, crítico, imaginário, deixando margens para a exploração de novas possibilidades de criação. Para tanto, o professor precisa perceber e saber o valor e a importância dos recursos multimídia para o bom desempenho e eficácia do seu trabalho escolar.
25

O uso da gamificação como estratégia didática na capacitação de professores para o uso de softwares educativos

Ferreira, Bruno Santos 24 April 2015 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Educação, Programa de Pós-Graduação em Educação, 2015. / Submitted by Marília Freitas (marilia@bce.unb.br) on 2015-10-21T11:45:12Z No. of bitstreams: 1 2015_BrunoSantosFerreira.pdf: 2531494 bytes, checksum: 11e2d7f3e7366cdfbc4b2ac724b80db7 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2015-12-04T15:06:37Z (GMT) No. of bitstreams: 1 2015_BrunoSantosFerreira.pdf: 2531494 bytes, checksum: 11e2d7f3e7366cdfbc4b2ac724b80db7 (MD5) / Made available in DSpace on 2015-12-04T15:06:37Z (GMT). No. of bitstreams: 1 2015_BrunoSantosFerreira.pdf: 2531494 bytes, checksum: 11e2d7f3e7366cdfbc4b2ac724b80db7 (MD5) / Este projeto de pesquisa tem como tema central o uso da gamificação como estratégia didática para a capacitação de professores para o uso de softwares educativos (SE) complexos. Para fins desta investigação, nosso foco será o SE GGBOOK e seu uso na formação continuada de professores de Matemática. O ponto de partida da investigação proposta está na hipótese de que o uso de dispositivos educativos gamificados na situação de formação de professores para uso do SE GGBOOK pode tornar tais situações de aprendizagem mais efetivas. Segundo Kolb (1984, p.16), “[...] nós somos diferentes e, portanto, aprendemos de modo diferente”. Nesta perspectiva, sabemos que indivíduos engajados em situações de aprendizagem percorrem caminhos distintos e individuais em seus processos de construção de conhecimento. Isto implica que, para se tornarem mais efetivos, os dispositivos educativos devem levar em consideração as formas de aprender de seus usuários, bem como buscar desenvolver saberes significativos. Esse pressuposto nos remete à problemática de que existe uma correlação entre os aspectos experienciais explorados pela Teoria dos Estilos de Aprendizagem de David Kolb e os aspectos motivacionais explorados pela Gamificação. Deste modo, para verificar a possível confluência entre as duas teorias, propomos o desenvolvimento de um dispositivo educativo de formação de professores (o SiGA) para o uso de softwares complexos, com o propósito do seu uso em sala de aula. O SiGA tem o objetivo de promover uma situação de aprendizagem para professores com base na gamificação em convergência com os estilos de aprendizagem, norteado pelos princípios da teoria do Saber Significativo de Richard Gagnon. Para analisar os resultados, optou-se pela abordagem qualitativa do estudo de caso, que consiste em uma forma de aprofundar uma unidade individual em um contexto, que neste caso foi a constatação de que, em situações de aprendizagem, diferentes estilos de aprendizagem requerem diferentes estratégias para o uso da gamificação. Neste documento, a título de projeto de pesquisa, apresentamos a problemática que dá suporte à investigação pretendida, as questões de pesquisa, o quadro teórico, o método e os instrumentos de coleta de dados, bem como os limites observados e os resultados obtidos. 6 Esta investigação recebeu o apoio financeiro do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), que subsidiou o estágio de estudos e de coleta de dados na Universidade Laval (Canadá) e faz parte do projeto de pesquisa de cooperação internacional Brasil-Canadá sobre as possibilidades educativas da gamificação. Também recebeu apoio financeiro da Coordenação de Apoio à Formação de Pessoal de Nível Superior (CAPES) e do Programa de Pós-Graduação em Educação da Universidade de Brasília, sob a forma de bolsas de estudos de mestrado. ______________________________________________________________________________________________ ABSTRACT / This research project focuses on the use of gamification as a teaching strategy, more precisely in the teachers' training during the use of educational software (ES). This will be analyzed through our case-study, the mathematical software GGBook. The starting point of our research is the assumption that the use of gamification in educational tools of teacher training makes the learning situation more effective. Indeed, mechanisms of gamification like motivation increase interest. We correlate those mechanism with the Theory of Kolb of the learning styles. This latter exposes four different ways individuals engage with a learning situation depending on their knowledge construction process. Those two perspectives implies that for an educational software to be effective, a certain adaptation to the user is needed. In order to verify this possible merging, we have developed an educational teacher training plug-in (SiGA) that takes into consideration the learning style of the teacher and adapts the needed functions and motivation according to it. Like mentioned above, this has been tested on the software GGBOOK through a qualitative approach of the case study. More details will be given in this research regarding our theoretical framework, methodology, data collection instruments, results as well as our limitations and further possible research. Finally, it is important to mention that our research received financial support from the National Scientific and Technological Development (CNPq), which subsidizes studies exchanges and data collection at the University of Laval (Canada) and is part of the Brazil-Canada international cooperation research project on the possibilities of gamification in education. It was also sponsored by the Coordination to Support Higher Education Personnel Training (CAPES) and the Graduate Program of Education of the University of Brasilia, in the form of scholarships for Masters studies.
26

GGBOOK : uma plataforma que integra o software de geometria dinâmica geogebra com editor de texto e equações a fim de permitir a construção de narrativas matemáticas dinâmicas

Nóbriga, Jorge Cássio Costa 23 April 2015 (has links)
Tese (doutorado)—Universidade de Brasília, Faculdade de Educação, Programa de Pós-Graduação em Educação, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2015-11-27T13:08:10Z No. of bitstreams: 1 2015_JorgeCassioCostaNobriga.pdf: 14417916 bytes, checksum: b58cd4da05ef149c8c942fa94f56984c (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2015-12-11T12:26:40Z (GMT) No. of bitstreams: 1 2015_JorgeCassioCostaNobriga.pdf: 14417916 bytes, checksum: b58cd4da05ef149c8c942fa94f56984c (MD5) / Made available in DSpace on 2015-12-11T12:26:40Z (GMT). No. of bitstreams: 1 2015_JorgeCassioCostaNobriga.pdf: 14417916 bytes, checksum: b58cd4da05ef149c8c942fa94f56984c (MD5) / Neste trabalho, apresentamos uma pesquisa que teve por objetivo analisar as possibilidades de construção de Narrativas Matemáticas Dinâmicas a partir das interações realizadas em uma plataforma que integra editores de texto e equações com o software educativo GeoGebra, a qual denominamos GGBOOK. Para fundamentar e construir o conceito de Narrativas Matemáticas Dinâmicas, buscamos suporte em autores que tratam de Representações Semióticas, Linguagem, Linguagem Matemática, Narrativas e Narrativas Matemáticas. Buscamos também autores que tratam de Informática Educativa e de Geometria Dinâmica. Para o desenvolvimento do GGBOOK, usamos a metodologia da Prototipação que norteou os trabalhos de uma equipe composta por pesquisadores, professores de Matemática e programadores. Para a parte da pesquisa, optamos pela análise de conteúdo. Foram feitos experimentos, usando o GGBOOK, com 10 estudantes de um curso de Licenciatura em Matemática. Os resultados mostraram que o GGBOOK contribuiu para a produção e a integração das representações de forma a facilitar o trabalho do estudante e do professor na análise/interpretação daquilo que o estudante fez. Ou seja, o GGBOOK permite que se possam desenvolver compreensões a respeito de objetos matemáticos e comunicá-los, ao mesmo tempo em que auxilia também numa interpretação mais fácil e factível das compreensões ou incompreensões dos estudantes por meio de suas representações. ___________________________________________________________________________ ABSTRACT / In this work, we present a research whose objective was to analyze the possibilities of building Dynamic Mathematical Narratives from interactions held on a platform which integrates word and equation processors with the educative software GeoGebra, which we denominated GGBOOK. In order to build a concept foundation of Dynamic Mathematical Narratives, we looked for support of authors who deal with Semiotic Representations, Language, Mathematical Language, Narratives, and Mathematical Narratives. We also looked for authors who deal with Education Technology and Dynamic Geometry. In the GGBOOK development, we used the proto-participation methodology, which guided the work of a team formed by researchers, mathematics teachers, and programmers. For the research part, we opted for the content analysis. Experiments were done, using the GGBOOK, with 10 students of an undergraduate licensure course in Mathematics. The results showed that the GGBOOK contributed to the integration and the production of form representations, facilitating the work of both the student and the teacher in the analysis and interpretation of what the student did. That is, the GGBOOK allows the development of comprehensions about mathematical objectives and their communication, at the same time that it also assists, by means of their representations, in an easier and more factibel interpretation of students’ comprehensions or incomprehensions. _____________________________________________________________________________ RÉSUMÉ / La recherche présentée dans ce travail avait pour objectif d’analyser les possibilités de construction de Récits Mathématiques Dynamiques à partir des interactions réalisées sur la plateforme GGBOOK, créée pour l’occasion, qui intègre des éditeurs de textes et des équations dans le logiciel éducatif GeoGebra. Afin de construire et soutenir le concept de Récits Mathématiques Dynamiques, nous nous sommes appuyés sur des auteurs qui étudient les Représentations Sémiotiques, le Langage, le Langage Mathématique, les Récits et les Récits Mathématiques, ainsi que des auteurs qui s’intéressent à l’Informatique Éducative et à la Géométrie Dynamique. La méthodologie de Prototypage a été adoptée pour le développement du GGBOOK, afin d’orienter les travaux d’une équipe composée de chercheurs, de professeurs de mathématiques et de développeurs. Des expérimentations du GGBOOK ont été réalisées avec 10 étudiants d’un cours de Licence en Mathématiques. Les résultats, interprétés à travers une analyse de contenu, montrent les contributions du GGBOOK au niveau de la production et de l’intégration des représentations de manière à faciliter le travail de l’étudiant et du professeur dans l’interprétation de l’activité réalisée par l’étudiant. Le GGBOOK permet donc une meilleure compréhension et communication des objets mathématiques, tout en aidant à rendre plus facile et faisable l’interprétation des compréhensions et incompréhensions des étudiants à travers leurs représentations dévoilées dans les récits.
27

SEMÂ: uma proposta metodolÃgica para o uso dos softwares na educaÃÃo. / SEMÂ: une proposition methodologique concernant lÂutilisation de sotware en Ãducation

Dina Mara Pinheiro Dantas 29 March 2010 (has links)
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Lâinvestigation a objectivà lâÃlaboration et la systÃmatisation dâun produit: les logicielles Ãducatives SEMÂ, un site dâaccÃs gratuit, qui possÃde des propositions mÃthodologiques de travaille aux professeurs qui souhaitent utiliser les logicielles Ãducatives dans leur mÃtier pÃdagogique. La prÃsente dissertation sâest basÃe dans une recherche qualitative, de nature appliquÃe, une fois qui dÃveloppe un produit qui correspond directement à la demande des Ãcoles ainsi que les professionnels et intÃressÃs dans le mÃtier. Les rÃflexions se sont structurÃes a partir des descriptions des activitÃs rÃalisÃes pendant lâÃlaboration du SEMÂ, en mettant en Ãvidence quelques considÃrations les plus importantes par rapport à lâutilisation des logicielles Ãducatives par les professeurs, et des mÃthodologies pour dÃvelopper un travaille plus didactique avec lâutilisation des ceux lÃ. Comme rÃsultat, nous avons pu analyser quâun travaille avec ces mÃdias digitales, exige une analyse bien approfondi des conceptions dâapprentissage, ainsi que lâÃlaboration dâun planning qui soie dâaccord avec ses rÃelles besoins, soient eux en ambiance virtuel ou en prÃsence dâenseignement. Nous considÃrons aussi quelques suggestions mÃthodologiques dans les Sections Didactiques, comme des possibles moyens à Ãtre, effectivement, utilisÃs dans lâusage pÃdagogique des logicielles Ãducatives par les professionnels de lâÃducation. / A investigaÃÃo objetivou a elaboraÃÃo e a sistematizaÃÃo do produto: Software Educativo Multimeios â SEMÂ, um sÃtio de acesso gratuito, contendo propostas metodolÃgicas de trabalho ao professor que deseje utilizar os softwares educativos em sua prÃtica docente. Desta forma, a presente dissertaÃÃo fundamentou-se em uma pesquisa qualitativa, de natureza aplicada, por desenvolver um produto que atende diretamente a demanda das escolas como tambÃm dos profissionais e interessados na Ãrea. As reflexÃes desdobraram-se em algumas descriÃÃes das atividades realizadas no decorrer da estruturaÃÃo do SEMÂ, apontando aspectos que consideramos importantes na polÃtica de uso dos softwares educativos por parte dos professores e, inclusive, apontamos algumas metodologias para o desenvolvimento de um trabalho didÃtico que envolve a questÃo do uso dos softwares educativos, tais como: caracterizaÃÃo, classificaÃÃo e avaliaÃÃo. Como resultado, podemos evidenciar que o trabalho com essas mÃdias digitais exige uma anÃlise detalhada das concepÃÃes de aprendizagem presentes nos objetos, bem como a elaboraÃÃo de um planejamento em consonÃncia com suas reais necessidades, sejam elas em ambientes virtuais ou presenciais de ensino. Apontamos ainda algumas sugestÃes metodolÃgicas, por meio das SessÃes DidÃticas, como possÃveis caminhos a serem trilhados nÃo somente na melhoria do acesso, mas no uso efetivo e pedagÃgico dos softwares educativos pelos profissionais da educaÃÃo.
28

Proposta de um catálogo de padrões aplicados ao processo de elicitação de requisitos para software de gestão comercial. / Sem título em inglês.

Oliveira, Kleber Rocha de 15 April 2009 (has links)
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.
29

Avaliação comparativa do impacto do emprego de técnicas de programação defensiva na segurança de sistemas críticos. / Comparative evaluation of the impact of the use of defensive programming techniques on the safety of critical systems.

Secall, Jorge Martins 26 February 2007 (has links)
Com o objetivo da redução do tempo de desenvolvimento de produtos comerciais, hardwares padronizados, como microcontroladores e microprocessadores dedicados, têm sido largamente empregados em aplicações críticas, transferindo para o software elementos até então de responsabilidade exclusiva do hardware. Técnicas de programação defensiva são mecanismos preventivos contra a ocorrência de falhas de hardware ou de software. Para a verificação da segurança de sistemas de aplicações críticas, técnicas de injeção de falhas foram desenvolvidas, propiciando o teste dos mecanismos de tolerância a falhas em condições muito semelhantes às do ambiente operacional real. A introdução de técnicas de programação defensiva aumenta a segurança dos sistemas de aplicações críticas. Não há, na literatura pesquisada, qualquer referência a uma avaliação quantitativa das técnicas de programação defensiva. Esta tese é a descrição de um trabalho experimental, que visa esta avaliação quantitativa, e se organiza em algumas etapas. Primeiro, algumas técnicas de programação defensiva são apresentadas, caracterizadas e eleitas como objeto de avaliação. A seguir, técnicas de injeção de falhas são descritas e uma delas é eleita como meio de teste do trabalho experimental. A partir daí, as técnicas de programação defensiva são verificadas sob o enfoque da técnica de injeção de falhas escolhida. O resultado é uma avaliação quantitativa relativa da eficácia de algumas técnicas de programação defensiva na capacidade de tolerância a falhas inseguras de sistemas de aplicações críticas. Ao final, indicações de continuidade do trabalho são apresentadas. O ambiente metroferroviário, em que trabalha o autor, foi utilizado como estudo de caso. Entretanto, as considerações e conclusões desta tese se aplicam a qualquer sistema de missão critica. / Aiming the reduction of commercial systems` time to the market, standardized hardware, as microcontrollers and embedded microprocessors, has been broadly employed for critical applications, transferring to the software issues that once exclusively relied on the hardware design. Defensive programming techniques are preventive engines against hardware and software faults. In order to verify the safety of critical application systems, fault injection techniques were developed, allowing for the testing of fault tolerant techniques under conditions quite close to actual operational environments. The introduction of defensive programming techniques increases the safety of critical application systems. There are no references, on a large research base, on quantitative evaluations of defensive programming techniques. This thesis describes an experimental work towards a relative quantitative evaluation, organized in a few stages. First, some defensive programming techniques are shown, characterized and selected as the evaluation target. Following, fault injection techniques are described and one of them is selected as the agent of the experimental work. From this point on, the defensive programming techniques are verified under the fault injection technique chosen. The result is a relative quantitative evaluation on the efficiency of some defensive programming techniques on the unsafe fault tolerance capacity of critical application systems. Finally, indications for further work are presented. The railway environment, where the author works, was employed as a case study. However, the reasoning and the conclusions of this thesis are applicable to any critical mission system.
30

Desenvolvimento de software para a organização da informação de um serviço de saúde ocupacional hospitalar / Software Development for Data Processing in a Hospital Occupational Health Service

Parro, Maria Cláudia 20 May 2008 (has links)
O propósito deste estudo foi desenvolver um software que possibilite a organização dos dados de acidente de trabalho com material biológico, caracterização epidemiológica e monitoramento da evolução clínica da população, visando o planejamento da assistência de enfermagem em Saúde Ocupacional. A equipe multiprofissional envolvida no desenvolvimento do software foi formada pela pesquisadora, por um analista de sistemas e por um programador. A metodologia empregada fundamentou-se no ciclo de vida de desenvolvimento de sistemas. Dividiu-se em duas fases: a fase de definição e a de desenvolvimento. A fase de definição teve início com a etapa de planejamento, seguida pela etapa de definição e pela análise dos requisitos necessários à construção, e foi concluída com a etapa de produção da especificação de requisitos do software. A fase de desenvolvimento traduziu o conjunto de requisitos em um modelo informatizado, estruturado em quatro módulos referentes à organização das informações, à caracterização epidemiológica e ao monitoramento da evolução clínica da população com vistas ao planejamento da assistência de enfermagem em Saúde Ocupacional. O módulo Cadastro de Funcionários armazena dados relativos à identificação pessoal, endereço, escolaridade, ocupação e situação no mercado de trabalho, de modo a organizar toda informação coletada. Os módulos Cadastro de Empresas Contratantes e Cadastro de Município proporcionam o cadastramento específico de cada empresa e município respectivamente, criando um banco de dados que facilita a caracterização epidemiológica. O módulo de Sistema de Informação de Agravos de Notificação armazena os dados referentes aos acidentes de trabalho com material biológico e, a partir destes, processa informações para auxiliar o enfermeiro na tomada de decisão. Proporciona o planejamento da assistência e o acompanhamento de enfermagem nos casos de acidente com material biológico até seu desfecho. Finalmente, a avaliação desse recurso inovador na área de Saúde Ocupacional Hospitalar será objeto de um estudo posterior. / The purpose of this study was to develop a software program to enable data processing of work-related accidents involving hazardous biological material, epidemiological characterization, and clinical evolution monitoring of the population, aiming at the Occupational Health Nursing Care planning. The multidisciplinary team was composed of the researcher, a systems analyst, and a systems programmer. The methodology used was based on the systems development lifecycle. The study was divided into two phases: definition and development. The definition phase has begun with planning phase, followed by definition phase and analysis of the critical requirements essential to the software construction. This stage was concluded with the production phase of the software requirements specification. The development phase translated the set of requirements into a computerized pattern, structured into 4 modules regarding the organization of information, epidemiological characterization, and clinical evolution monitoring of the population, aiming at the Occupational Health Nursing Care planning. The module \"Employee Records\"/\"Cadastro de Funcionários\" stores data related to personal identification, address, educational status, profession, and his/hers labor market situation so as to organize all the information gathered. The modules \"Contracting Company Records\"/\"Cadastro de Empresas Contratantes\" and \"County Record\"/\"Cadastro de Munícipio\" provide specific registration of each company and county, respectively, creating a database to facilitate the epidemiological characterization. The module \"National Disease Notification System-SINAN\"/\"Sistema de Informação de Agravos de Notificação-SINAN\" stores the data concerning work-related accidents involving hazardous biological material, processing information to serve nurses in the decision-making process. This module provides both assistance planning and nursing follow-up in accidents involving hazardous biological material until its outcome. Finally, the assessment of this groundbreaking resource in Hospital Occupational Health will be the subject of a further study.

Page generated in 0.0275 seconds