Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Architectural specification of real-time software systems is an activity that conveys analysis, knowledge and understanding of both the application domain and the parties involved in software construction. Architecture plays a key role in communication between stakeholders, in addition to planning the entire architectural process involved in the project. However, Architecture Description Languages (ADLs) have not been widely used in the industry. Another limiting factor for the e ff ective use of ADLs is the di ffi culty of these languages in e ff ectively expressing the architecture of complex systems. Considering this situation of di ffi culty in the e ff ective use of ADLs, the UML has been used in recent years to model the architecture. However, UML can not represent the important characteristics pertinent to real-time systems, such as security or real-time constraints. One of the advantages of the UML is the extensibility allowing the creation of profiles. In this sense, this work proposes using Systems Modeling Language (SysML), a UML profile, to model real-time systems architecture in two automotive systems, the airbag control system and the light control system. The objective of this work is to use UML and SysML to model and document the architecture and design of requirements traceability between software and systems elements, increasing the understanding of the project among the parties involved, and finally presenting SysML as a language for description of real-time software architecture. The ADL Architecture Analysis and Design Language (AADL) and SysML languages were compared to show the advantages of SysML. As a result, it was noticed that abstract features such as conditional deviations, loop, characteristics that are related to reality and consequently to the system can not be described in AADL. SysML has proved to be relevant in the context of architecture description, analysis, classification and modeling of real-time systems. The SysML Requirements diagram explicitly shows the various types of relationships between di ff erent requirements, the Block diagram enables the global view of the systems involved in a single project, the Internal Block diagram allows the internal view of the system under construction, the Activity diagram considers the behavioral view of the system. SysML concepts, articulated in the SysML Requirements, Activities, Blocks and Internal Blocks diagrams, are complementary, covering the purposes needed to describe the architecture of real-time systems. It is concluded that the proposed UML and SysML join technique provides elements to describe software requirements and their relationships with the system, to manage changes, to evolve and to trace requirements more easily, in addition to the communication being e ff ectively carried out between the stakeholders. This is important for the development of real-time systems because of the diversity of people / teams involved and influencing a wide range of design decisions. / A especificação da arquitetura de sistemas de software de tempo real é uma atividade que depreende análise, conhecimento e compreensão tanto do domínio da aplicação quanto das partes envolvidas na construção do software. A arquitetura tem um papel primordial na comunicação entre os stakeholders, além do planejamento de todo o processo arquitetural envolvido no projeto. Contudo, as Linguagens de Descrição de Arquiteturas (ADLs) não têm sido amplamente usadas na indústria. Outro fator limitador para o uso efetivo de ADLs é a dificuldade dessas linguagens em expressar efetivamente a arquitetura de sistemas complexos. Considerando essa situação de dificuldade do uso efetivo de ADLs, a UML tem sido utilizada nos últimos anos para modelagem da arquitetura. No entanto, a UML não consegue representar características importantes pertinentes a sistemas de tempo real, tais como segurança ou restrições de tempo real. Uma das vantagens da UML é a capacidade de extensão permitindo a criação de profiles. Neste sentido, este trabalho apresenta a Systems Modeling Language (SysML), um profile da UML, para modelagem da arquitetura de sistemas de tempo real em dois sistemas automotivos, o sistema de controle de airbag e o sistema de controle de faróis. Neste trabalho tem-se como objetivos utilizar a UML e a SysML para modelagem e documentação da arquitetura e delineamento de rastreabilidade de requisitos entre software e sistema, ampliando o entendimento do projeto entre as partes envolvidas, e por fim apresentar a SysML como uma linguagem para descrição da arquitetura de software de tempo real. As linguagens SysML e a ADL Architecture Analysis & Design Language (AADL) foram comparadas para mostrar as vantagens da SysML. Como resultado, foi percebido que características abstratas, tais como tomadas de decisão, repetição de uma funcionalidade (loop), características que são relacionadas a realidade e, consequentemente, ao sistema, não podem ser descritas em AADL. A SysML mostrou-se relevante no contexto da descrição, análise, classificação e modelagem de arquitetura para sistemas de tempo real. O diagrama de Requisitos da SysML mostra explicitamente os diversos tipos de relacionamentos entre diferentes requisitos, o diagrama de Blocos viabiliza a visão global dos sistemas envolvidos num único projeto, o diagrama de Blocos Internos possibilita a visão interna do sistema em construção, o diagrama de Atividades considera a visão comportamental do sistema. Os conceitos de SysML, articulados nos diagramas de Requisitos, Atividades, Blocos e Blocos Internos da SysML são complementares cobrindo os propósitos necessários para a descrição da arquitetura de sistemas de tempo real. Conclui-se que a técnica proposta da junção de UML e SysML fornece elementos para descrever requisitos de software e seus relacionamentos com o sistema, gerenciar mudanças, evoluir e rastrear requisitos mais facilmente, além da comunicação ser efetivamente realizada entre os stakeholders. Este aspecto é importante ao desenvolvimento de sistemas de tempo real, por causa da diversidade de pessoas / equipes envolvidas e que influenciam uma ampla série de decisões de projeto.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-06-06T15:58:37Z No. of bitstreams: 1 henriquepintogomide.pdf: 4886533 bytes, checksum: ebecd2fd03722fac5b23835abb7cf2d9 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-07-02T13:29:17Z (GMT) No. of bitstreams: 1 henriquepintogomide.pdf: 4886533 bytes, checksum: ebecd2fd03722fac5b23835abb7cf2d9 (MD5) / Made available in DSpace on 2016-07-02T13:29:17Z (GMT). No. of bitstreams: 1 henriquepintogomide.pdf: 4886533 bytes, checksum: ebecd2fd03722fac5b23835abb7cf2d9 (MD5) Previous issue date: 2014-02-10 / Intervenções para tabagismo mediadas por internet disponíveis em língua portuguesa não cobrem todos os conteúdos das diretrizes de tratamento do tabagismo. Não existem intervenções de código-aberto na internet, isto é, que divulgam todo o código-fonte para sua adaptação e replicação para outros contextos e populações. O objetivo do estudo foi descrever uma metologia de desenvolvimento e avaliar a intervenção para tabagismo mediada por internet de código-aberto - “Viva sem Tabaco”. O desenvolvimento aconteceu nas seguintes etapas:(1) desenvolvimento do protótipo, (2) realização de um grupo focal fumantes e correção do protótipo e (3) avaliação da cobertura, precisão e interatividade do conteúdo com base nos 12 componentes das diretrizes de tratamento para tabagismo, e (4) revisão do conteúdo. Com os resultados do grupo focal e na revisão teórica das diretrizes, o protótipo foi desenvolvido e corrigido. Após as correções, o protótipo foi avaliado pelos especialistas e corrigido. O conteúdo da intervenção foi avaliado por dois pesquisadores de forma independente, 9 dos 12 tópicos apresentaram cobertura considerada adequada e 3 com cobertura mínima. Quanto à precisão, 8 tópicos foram avaliados como corretos e 4 como maior parte correto. Dois dos 12 tópicos apresentaram interatividade. Após a avaliação, a intervenção foi corrigida. A versão final da intervenção desenvolvida apresentou convergência com as diretrizes de tratamento. Estudos devem ser conduzidos para avaliar a eficácia da intervenção. / Web-assisted tobacco interventions (WATI) in Portuguese do not cover the standard guidelines for smoking treament and lack content quality. Current web-assisted tobacco interventions are not open-source, which reduce the development speed in developing countries. The objective of this study was to describe a development methodology of a open-source WATI and evaluate its quality. The development comprised the following stages: (1) prototype development, (2) assessment of the prototype using focus groups, and (3) content coverage, accuracy and interactivity evaluation using as reference the guideline “Treating tobacco use and depedence - 2008 update”, and (4) final review. Based on the data from focus groups and content review, the initial prototype was redesigned. The content evaluation, performed independently by two specialists, showed that 9 of 12 components were well covered and 3 minimally covered. Eight of 12 components were classified as correct and 4 as mostly correct. Just two topics were considered interactive. Based on the evaluation, a final review was conducted in the intervention content. The developed intervention was compliant with tobacco treatment guidelines, providing an evidence based guide for smokers who seek help over the internet. Future studies should address the clinical efficacy of the developed intervention.

Orientadores: Claudia Maria Bauzer Medeiros, André Santanchè / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-25T03:19:51Z (GMT). No. of bitstreams: 1 Vilar_BrunoSiqueiraCamposMendonca_D.pdf: 3275725 bytes, checksum: 4ccdd82eebca5b8da9748c7c515ea4c1 (MD5) Previous issue date: 2014 / Resumo: Sistemas de Gerenciamento de Workflows (WfMS -- em inglês) são usados para gerenciar a execução de processos, melhorando eficiência e eficácia de procedimentos em uso. As forças motrizes por trás da adoção e do desenvolvimento de um WfMS são aplicações científicas e de negócios. Esforços conjuntos de ambos resultaram em mecanismos consolidados, além de padrões e protocolos consensuais. Em particular, um WfMS científico (SWfMS -- \textit{Scientific WfMS}) auxilia cientistas a especificar e executar experimentos distribuídos. Ele fornece diferentes recursos que suportam atividades em um ambiente experimental, como prover flexibilidade para mudar o projeto de workflow, manter a proveniência e suportar reproducibilidade de experimentos. Por outro lado, apesar de poucas iniciativas de pesquisa, WfMSs não fornecem suporte apropriado à personalização dinâmica e baseada em contexto durante a execução; adaptações em tempo de execução normalmente requerem intervenção do usuário. Esta tese se concentra em superar essa deficiência, fornecendo a WfMSs um mecanismo de ciente do contexto para personalizar a execução de workflows. Como resultado, foi projetado e desenvolvido o DynFlow -- uma arquitetura de software que permite tal personalização aplicada a um domínio: planejamento de saúde. Este domínio foi escolhido por ser um ótimo exemplo de personalização sensível ao contexto. Procedimentos de saúde constantemente sofrem mudanças que podem ocorrer durante um tratamento, como a reação de um paciente a um medicamento. Para suprir a demanda, a pesquisa em planejamento de saúde desenvolveu técnicas semi-automáticas para suportar mudanças rápidas dos passos de fluxos de tratamento, de acordo com o estado e a evolução do paciente. Uma dessas técnicas é \textit{Computer-Interpretable Guidelines} (CIG), cujo membro mais proeminente é \textit{Task-Network Model} (TNM) -- uma abordagem baseada em regras capaz de construir um plano em tempo de execução. Nossa pesquisa nos levou a concluir que CIGs não suportam características necessárias por profissionais de saúde, como proveniência e extensibilidade, disponíveis em WfMSs. Em outras palavras, CIGs e WfMSs têm características complementares e são direcionadas à execução de atividades. Considerando os fatos citados, as principais contribuições desta tese são: (a) especificação e desenvolvimento do DynFlow, cujo modelo associa características de TNMs e WfMS; (b) caracterização das principais vantagens e desvantagens de modelos CIGs e WfMSs; (c) implementação de um protótipo, baseado em ontologias e aplicadas ao domínio da saúde e enfermagem / Abstract: Workflow Management Systems (WfMS) are used to manage the execution of processes, improving efficiency and efficacy of the procedure in use. The driving forces behind the adoption and development of WfMSs are business and scientific applications. Associated research efforts resulted in consolidated mechanisms, consensual protocols and standards. In particular, a scientific WfMS helps scientists to specify and run distributed experiments. It provides several features that support activities within an experimental environment, such as providing flexibility to change workflow design and keeping provenance (and thus reproducibility) of experiments. On the other hand, barring a few research initiatives, WfMSs do not provide appropriate support to dynamic, context-based customization during run-time; on-the-fly adaptations usually require user intervention. This thesis is concerned with mending this gap, providing WfMSs with a context-aware mechanism to dynamically customize workflow execution. As a result, we designed and developed DynFlow ¿ a software architecture that allows such a customization, applied to a specific domain: healthcare planning. This application domain was chosen because it is a very good example of context-sensitive customization. Indeed, healthcare procedures constantly undergo unexpected changes that may occur during a treatment, such as a patient¿s reaction to a medicine. To meet dynamic customization demands, healthcare planning research has developed semi-automated techniques to support fast changes of the careflow steps according to a patient¿s state and evolution. One such technique is Computer-Interpretable Guidelines (CIG), whose most prominent member is the Task-Network Model (TNM) -- a rule based approach able to build on the fly a plan according to the context. Our research led us to conclude that CIGs do not support features required by health professionals, such as distributed execution, provenance and extensibility, which are available from WfMSs. In other words, CIGs and WfMSs have complementary characteristics, and both are directed towards execution of activities. Given the above facts, the main contributions of the thesis are the following: (a) the design and development of DynFlow, whose underlying model blends TNM characteristics with WfMS; (b) the characterization of the main advantages and disadvantages of CIG models and workflow models; and (c) the implementation of a prototype, based on ontologies, applied to nursing care. Ontologies are used as a solution to enable interoperability across distinct SWfMS internal representations, as well as to support distinct healthcare vocabularies and procedures / Doutorado / Ciência da Computação / Doutor em Ciência da Computação

Orientadores: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T03:55:01Z (GMT). No. of bitstreams: 1 Batista_GabrieladeFatima_M.pdf: 1354598 bytes, checksum: 95bb9bb4e444a6f9b717df69650f4e8b (MD5) Previous issue date: 2005 / Resumo: Organizações de alto nível de maturidade têm como meta principal a melhoria contínua de seus processos. Essas organizações usam sistematicamente métricas e fazem análise dos dados coletados para tomada de decisão, ou seja, fazem efetivamente gerenciamento por dados. Avaliação quantitativa da capacidade do processo de software definido para o projeto e suas variações permite planejar e gerenciar melhor os projetos. Considerando a necessidade de medir, prever e ajustar o processo de software para alcançar as metas de qualidade, um programa de medição é proposto com o intuito de dar suporte à gerência quantitativa. O programa de medição apresenta métricas alinhadas às metas organizacionais e exige que, após a coleta dos dados e sua análise, os envolvidos nessas métricas - um gerente administrativo, um gerente funcional, um líder de projeto ou um desenvolvedor - comprometam-se a usar os resultados da análise para identificar os desvios de processo e aplicar as ações corretivas necessárias; desta forma, pode-se controlar o desempenho do processo de desenvolvimento de software dentro dos limites aceitáveis. Para apoiar o processo de implantação e aplicação de métricas, uma ferramenta de coleta, validação e análise dos dados, baseada em controle estatístico de processo, denominada Vigia, foi desenvolvida. Vigia pode ser usada para controlar o desempenho do processo de software definido para o projeto assegurando que o processo não compromete as metas de qualidade da organização nem as metas de negócio, por meio de ações corretivas em tempo real e, conseqüentemente, de ajustes no processo de software. Um estudo de caso foi realizado na Motorola Industrial para avaliar tanto o programa de medição como a ferramenta Vigia / Abstract: Organizations of a high level of maturity have as main goal the continuous improvement of their processes. Such organizations systematically apply metrics by measuring process performance and analyzing these measurements to make decisions; hence, they effectively perform management by data. Quantitative assessment of the performance of the project's defined software process and its variations allows better planning and management of projects. Considering the need for measuring, predicting and adjusting the software process to reach quality goals, a measurement program is being proposed to give support to quantitative management. The measurement program presents metrics aligned to the organizational goals and requires that, after data collection and analysis, the metrics stakeholders - a senior manager, a functional manager, a project leader or a developer - be committed to use the results of the analysis to identify process deviations and to apply the necessary corrective actions. In this way, we may control the performance of the project's defined software process within acceptable limits. To support deployment of the measurement process and application of metrics, a tool to collect, validate and analyze data, based on statistical process control, called Vigia, was developed. Vigia can be used to control the performance of the project's defined software process, assuring that the process does not compromise neither the organizational quality goals nor the business goals through corrective actions in near-real time. Consequently, it carries through adjustments in the software process. A case study was carried out at Motorola Company to evaluate the measurement program as well as the Vigia tool / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Não informado. / Ambiente de Vida Assistida (AVA) é, essencialmente, uma proposta científica e tecnológica que visa auxiliar a manutenção da vida e o bem-estar de pessoas idosas ou com necessidades especiais. Para tanto, utiliza-se um sistema de controle que integra e coordena dispositivos inteligentes: braceletes, roupas, camas, quartos etc., com vistas a ampliar a autonomia dos indivíduos na execução das mais simples atividades diárias bem como prover remotamente serviços de saúde e de assistência social. Como então garantir, neste contexto, que o sistema não esteja interpretando uma situação equivocada da realidade do meio ou do próprio paciente? Ou ainda, como prevenir respostas inadequadas ou omissões irremediáveis? Apenas com o cumprimento eficaz de requisitos qualitativos, tais como técnicas de detecção de erros e tolerância a falhas poder-se-á minimizar tais circunstâncias inaceitáveis para preservação da saúde do indivíduo assistido. Neste diapasão, o presente estudo visa levantar o contexto de identificação de falhas em sistemas distribuídos assíncronos de modo a projetar, desenvolver e, em seguida, avaliar a eficácia do módulo de detecção de erros em sistema para controle de AVA por meio do emprego de tecnologias abertas (open hardware/software). A metodologia empregada para avaliação deste trabalho será a abordagem Goal Question Metric (GQM). Diante dos resultados encontrados identificou-se a necessidade de modificar um algoritmo de detector de erros originalmente proposto para redes móveis auto organizáveis (MANETs) de modo a torná-lo mais apropriado para o contexto de sistema para Ambiente de Vida Assistida.

Managing a software project is an increasingly complex task as it demands the quality of the final product to increase. Thus, e ective management is required from project design to software deployment and maintenance. According to the literature found, Requirements Engineering is the most important phase in terms of final impact on a software project. Changes in software requirements occur throughout the software process, from elicitation and requirements analysis to software operation. Requirements traceability enables one to identify the source and the dependency among software requirements. Studies show that current requirements traceability tools and methods are insu cient which makes it di cult to use traceability in practice. The goal of this work was the proposal of a requirements traceability technique combined with a modeling language and supported by a tool. To achieve this goal, bibliographic review, state-of-the-art research, comparative analysis, questionnaire and interviews were used as research instruments. Initially, an analysis of requirements traceability techniques and evaluation of requirements traceability tools were performed to evaluate if the techniques are used in practice and are being supported by software tools. After these analysis, an event-based traceability technique was proposed using concepts from the SysML modeling language. A software tool was developed to support this technique. Whenever a requirement is modified, the tool notifies stakeholders of such change made to the system requirements through e-mail. The technique and the tool were evaluated by twenty four information technology professionals using a questionnaire based on the TAM model that encompasses the concepts of perceived utility, perceived ease of use and perceived use, and interviews. As a result, the lack of relationship between the techniques and the tools surveyed was observed, and the criterion of automatic communication with stakeholders was not addressed in any evaluated tool. With regard to the proposed technique and tool, a wide acceptance of technique and tool was observed. The acceptance of the proposals was carried out by professionals with varied experiences in software development. / Gerenciar um projeto de software é uma tarefa cada vez mais complexa à medida que as exigências sobre a qualidade do produto final aumentam. Assim, é preciso um gerenciamento eficaz desde a concepção do projeto até a implantação e manutenção do software. Segundo a literatura encontrada, a Engenharia de Requisitos é a fase que possui maior impacto em um projeto de software. As mudanças nos requisitos de software ocorrem ao longo do processo de software, desde a elicitação e análise de requisitos até a operação do software. A rastreabilidade de requisitos possibilita identificar a origem e a dependência entre os requisitos de software. Estudos mostram que as ferramentas e métodos de rastreabilidade de requisitos atuais são insuficientes e dificultam o uso prático da rastreabilidade. O objetivo deste trabalho é a criação de uma técnica de rastreabilidade de requisitos combinada com uma linguagem de modelagem e que seja apoiada por uma ferramenta. Para atingir este objetivo, foram utilizados como instrumentos de pesquisa a revisão bibliográfica, uma pesquisa do tipo estado da arte, análise comparativa, questionário e entrevistas. Inicialmente, foram realizadas análise das técnicas de rastreabilidade de requisitos e avaliação de ferramentas de rastreabilidade de requisitos com intuito de avaliar se as técnicas são utilizadas na prática, e se estão sendo apoiadas por ferramentas de software. Após estas análises, foi proposta uma técnica de rastreabilidade entre requisitos baseada em eventos utilizando conceitos da linguagem de modelagem SysML. Uma ferramenta de software foi desenvolvida para apoiar essa técnica. Sempre que um requisito é modificado, a ferramenta notifica aos stakeholders a alteração realizada nos requisitos do sistema por meio de e-mails. A técnica e a ferramenta foram avaliadas por vinte e quatro profissionais de tecnologia da informação utilizando questionário, baseado no modelo TAM, que engloba os conceitos de utilidade percebida, facilidade de uso percebido e uso percebido, e entrevistas. Como resultado, foram observados a falta de relação entre as técnicas e as ferramentas pesquisadas e que o critério de comunicação automática com stakeholders não foi abordado em nenhuma ferramenta avaliada. Com relação à técnica e ferramenta propostas, observou-se uma ampla aceitação da técnica e da ferramenta. A aceitação das propostas foi realizada por profissionais com experiências variadas em desenvolvimento de software.

Devido à carência de avaliações para Distrofia Muscular de Duchenne (DMD), fisioterapeutas desenvolveram e testaram a confiabilidade da Functional Evaluation Duchenne Muscular Dystrophy (FES-DMD). Visando otimizar sua aplicação foi necessário um software. O objetivo deste estudo foi desenvolver e testar a usabilidade de software para aplicação da FES-DMD. Para desenvolver o software foi necessário um engenheiro, um programador e uma fisioterapeuta. Após finalização foi realizada avaliação técnica por cinco pareceristas e aplicado teste de usabilidade com quinze fisioterapeutas especialistas, para avaliar o uso do software na prática clínica e coletar o tempo de aplicação da FES-DMD. De acordo com as características exigidas o software foi desenvolvido com especificações: linguagem Visual Basic. Net, base de dados SQL Compact Server, Plataforma Windows XP sp3 ou superiores, Hardware de suporte, tela com resolução 1024X768 e formato do vídeo WMV/MP4. Estas permitem que o software tenha banco de dados seguro, cadastro de usuários, visualização de filmes, preenchimento da escala, cálculo do escore e geração de relatório. Como resultados, a avaliação técnica contribuiu com Layout e o teste de usabilidade mostrou que dez de quinze fisioterapeutas concordam fortemente que o software é usável na prática clínica, três concordam, enquanto que um discorda e outro discorda fortemente. Com relação ao tempo de aplicação, a FESDMD no software se mostrou mais rápida (p < 0.001). Foi possível desenvolver software para aplicação da FES-DMD. O instrumento promove ganho de tempo do fisioterapeuta, armazena dados e imagens de forma segura, gera relatórios e é usável na prática clínica / Due to the lack of reviews for Duchenne Muscular Dystrophy (DMD), physiotherapists have developed and tested a confiabiliade Functional Evaluation of Duchenne Muscular Dystrophy (FES-DMD). In order to optimize your application was necessary software. The aim of this study was to develop and test the usability of software for application of FES-DMD. To develop the necessary software was an engineer, a programmer and a physiotherapist. After finalizing technical evaluation was carried out for five referees and applied usability testing with fifteen physiotherapists experts to evaluate the use of software in clinical practice and collect the time of application of FES-DMD. According to the characteristics required software has been developed with specifications: Visual Basic language.Net, database SQL Server Compact Platform, Windows XP sp3 or higher, Hardware Support, 1024X768 screen resolution and video format WMV/MP4. These allow the software to be secure database, user registration, inhouse movies, completing the scale score calculation and reporting. As a result, the technical evaluation contributed Layout and usability test showed that ten fifteen physiotherapists strongly agree that the software is usable in clinical practice, three agree, while one disagreed and one strongly disagrees. Regarding the time of application, the FES- DMD in software is faster (p < 0.001). It was possible to develop software for the application of FES- DMD. The instrument promotes gain time physiotherapist, stores images and data securely, generate reports, and is usable in clinical practice

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O presente trabalho tem como objetivo auxiliar professores de Educação Básica a abordar alguns conceitos básicos de Cálculo Diferencial e Integral no terceiro ano do ensino médio, utilizando os softwares wxMaxima e Geogebra. Nossa proposta visa resgatar o ensino do Cálculo no âmbito escolar, mas de uma maneira diferente da tradicional, utilizando a tecnologia em nosso favor, como uma ferramenta facilitadora no processo ensino-aprendizagem de conceitos de limites, derivadas e integrais. A ideia é que toda a parte algébrica e gráfica, que exige conhecimentos matemáticos específicos, seja feita pelos softwares e que os estudantes aprendam a interpretar as soluções que as ferramentas nos fornecem e a conhecerem um pouco mais sobre a matemática e suas aplicações. / The present work aims to help Basic Education teachers to approach some basic concepts of Differential and Integral Calculus in the third year of high school using the software wxMaxima and Geogebra. Our purpose is to recover the teaching of Calculus in the school context, but in a different way from the traditional one, using the technology in our favor, as a facilitating tool in the teaching-learning process of boundary, derivative and integral concepts. The idea is that all the algebraic and graphic part, which requires specific mathematical knowledge, is done by software and that students learn to interpret the solutions that the tools provide us and to know a little more about mathematics and its applications.

RIBEIRO, Ana Paula de Medeiros. A avaliação da aprendizagem: aplicação de um modelo fuzzy para se obter notas mais justas na disciplina de língua portuguesa. 2007. 118 f.Dissertação (Mestrado em Educação) – Universidade Federal do Ceará. Faculdade de Educação, Programa de Pós-Graduação em Educação Brasileira, Fortaleza-CE, 2007. / Submitted by Raul Oliveira (raulcmo@hotmail.com) on 2012-07-03T16:49:59Z No. of bitstreams: 1 2007_Dis_APMRibeiro.pdf: 1344446 bytes, checksum: 0e2c50f55c00b7dd8bf464414f8b7d2c (MD5) / Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2012-07-06T16:16:46Z (GMT) No. of bitstreams: 1 2007_Dis_APMRibeiro.pdf: 1344446 bytes, checksum: 0e2c50f55c00b7dd8bf464414f8b7d2c (MD5) / Made available in DSpace on 2012-07-06T16:16:46Z (GMT). No. of bitstreams: 1 2007_Dis_APMRibeiro.pdf: 1344446 bytes, checksum: 0e2c50f55c00b7dd8bf464414f8b7d2c (MD5) Previous issue date: 2007 / This study involves one of the most important themes in the educational field: the learning assessment. From everything that is discussed about it, there is something that is always in evidence: the qualitative proposal that is recommended to the assessment process. So, the aim of this study was to comprehend its meaning from the vision of the elementary school teachers from one municipal school of Fortaleza, in order to be defined the meaning the teachers give to it, as well as the difficulties found during the assessment process. The interpretation of the teachers’ speeches was done by using the hermeneutic theory in the modern version of Martin Heidegger and Hans-Georg Gadamer. Therefore, this study was not limited to identify and describe the assessment meaning, it intended to develop a software based in the fuzzy sets theory, considering the information obtained from the application of the methodological instruments. The software intends to support the teachers during the assessment process, specially in the numerical grades conversion. The fuzzy logic has a coherent application in this situation because it has the power of manipulate qualitative data which are, in this study, the concepts, into quantitative data, the numerical grades. The software preliminary version was tested by the author through a comparative study between the concepts and numerical grades given by the teachers and the ones given by the fuzzy system. The results showed a confidence degree of 93%. It demonstrates that it might be a useful instrument to teachers during the hard work of evaluating their students. / A presente dissertação envolve um dos temas mais relevantes na área educacional: a avaliação da aprendizagem. De tudo o que sobre ela se discute atualmente, há algo que está sempre em evidência: a proposta de cunho predominantemente qualitativo que se defende para o processo de avaliação. Nesse sentido, buscou-se compreender o seu significado a partir da visão das professoras do Ensino Fundamental de uma escola da rede municipal de Fortaleza, a fim de ser evidenciado o sentido da avaliação dado pelas professoras, bem como as dificuldades que encontram durante o processo avaliativo. Para a interpretação das falas dos sujeitos, utilizou-se a teoria hermenêutica na versão contemporânea de Martin Heidegger e Hans-Georg Gadamer. Entretanto, a pesquisa não teve intenções de se limitar à simples identificação e descrição do sentido da avaliação, pretendeu, sobretudo, desenvolver um aplicativo baseado em lógica fuzzy, levando em consideração as informações obtidas através do instrumental metodológico aplicado. O software desenvolvido tem como principal objetivo apoiar as professoras durante a tarefa de avaliar seus alunos, sobretudo, no que diz respeito à fase de notação numérica. A lógica fuzzy se aplica coerentemente nessa situação, uma vez que tem o poder de manipular dados qualitativos que, para efeito deste estudo, são os conceitos, e convertê-los em quantitativos, ou seja, as notas numéricas. A versão preliminar do software foi testada pela pesquisadora através de um estudo comparativo entre os conceitos médios e notas inferidas pelas professoras durante avaliações reais e os conceitos médios e notas geradas pelo sistema fuzzy. Os resultados mostraram um grau de confiabilidade do sistema em torno de 93%. Isso demonstra que esta poderá ser uma útil ferramenta no cotidiano de professores durante a difícil tarefa de avaliar seus alunos.

Essa pesquisa teve por objetivo central analisar a formação de programadores de software do Arranjo Produtivo Local (APL) de Tecnologia da Informação (TI), da região sudoeste do Paraná. Considerando a emergência desse setor a partir da década de 1990 no Brasil e, posteriormente, seu fortalecimento na região sudoeste desse Estado na última década, esforços foram empreendidos na constituição de processos formativos para o atendimento das demandas de qualificação da força de trabalho no setor. Atrelada à existência do APL, a oferta de cursos de graduação em instituições públicas e privadas da região nos levaram a considerar os processos formativos na área de Tecnologia da Informação um objeto a ser explorado, especialmente a partir de uma perspectiva dos estudos de trabalho e educação, perpassando os estudos de Ciência, Tecnologia e Sociedade. Diante disso, buscamos entender como é realizada a formação e qualificação para o trabalho na área, tanto nos cursos de graduação como na própria prática produtiva, analisando a aderência ou não das Instituições de Ensino Superior (IES) às demandas do setor produtivo. Destacamos, ainda, os processos de autoqualificação pelos quais passam os programadores de software, entendidos por nós como ampliação da exploração dessa força de trabalho. Pautados na orientação teórico-metodológica do materialismo histórico e dialético, realizamos análise de referências sobre a temática, de documentos orientadores para os cursos de graduação e dos dados obtidos na pesquisa de campo, que contou com questionários e entrevistas com programadores de software da região e entrevistas com coordenadores de cursos de graduação da área de TI. Diante disso, entre tantas questões, pudemos concluir a existência de um tríplice e constante processo de formação desses trabalhadores, composto pela educação formal, a aprendizagem na prática produtiva e a autoqualificação. Esses processos, permeados ideologicamente pelos discursos de empreendedorismo, são naturalizados levando à intensificação do trabalho e da aprendizagem. Dessa maneira, há uma ampliação da exploração de sua força de trabalho, que, ao qualificar-se constantemente, implica diretamente na produção de mais-valia relativa. / The main objective of this research was to analyze the training of software programmers from the Local Productive Arrangement (APL) of Information Technology (IT), in the southwestern region of Paraná. Considering the emergence of this sector from the 1990s in Brazil and later its strengthening in the southwestern region of the State of Paraná in the last decade, efforts were made in the constitution of formative processes to meet the demands of qualification of the workforce in the sector. Linked to the existence of APL, the offer of undergraduate courses in public and private institutions in the region led us to consider the training processes in the area of Information Technology an object to be explored, especially from a perspective of work and education studies , passing through the studies of Science, Technology and Society. Therefore, we seek to understand how the training and qualification for the work in the area is carried out, both in the undergraduate courses and in the productive practice itself, analyzing the adherence or not of Higher Education Institutions (IES) to the demands of the productive sector. We also highlight the self-qualification processes through which software programmers, understood by us as an expansion of the exploitation of this workforce, pass. Guided by the theoretical-methodological orientation of the dialectical historical materialism, we carried out an analysis of references on the subject, of guiding documents for the undergraduate courses and of the data obtained in the field research, which included questionnaires and interviews with software programmers from the region and interviews with coordinators of undergraduate IT courses. Faced with this, among many questions, we could conclude the existence of a threefold and constant process of training these workers, composed of formal education, learning in productive practice and self-qualification. These processes, permeated ideologically by the discourses of entrepreneurship, are naturalized leading to the intensification of work and learning. In this way, there is an expansion of the exploitation of its workforce, which, by constantly qualifying, directly implies the production of relative surplus value.