Esta dissertação consiste em um levantamento e reflexão sobr e dados que c onfirmam um desempenho inadequado de alunos no que diz respeito a leitura da notação do A decodificação da notação de alturas pressupõe o desenvolvimento da imagem aura 1, que juntamente com as normas de organização da notação possibilita que o sujeito estabeleça a correspondência necessária entre siqnificante gráfico e significante sonoro.

Esta dissertação consiste em um levantamento e reflexão sobr e dados que c onfirmam um desempenho inadequado de alunos no que diz respeito a leitura da notação do A decodificação da notação de alturas pressupõe o desenvolvimento da imagem aura 1, que juntamente com as normas de organização da notação possibilita que o sujeito estabeleça a correspondência necessária entre siqnificante gráfico e significante sonoro.

Esta dissertação consiste em um levantamento e reflexão sobr e dados que c onfirmam um desempenho inadequado de alunos no que diz respeito a leitura da notação do A decodificação da notação de alturas pressupõe o desenvolvimento da imagem aura 1, que juntamente com as normas de organização da notação possibilita que o sujeito estabeleça a correspondência necessária entre siqnificante gráfico e significante sonoro.

[pt] Desenvolvimento de software é um processo altamente colaborativo, no qual a construção do software é o objetivo comum. É apoiado em várias fases por ferramentas computacionais, dentre elas as ferramentas de modelagem de software. Modelos são parte importante do processo de desenvolvimento de software e o foco desta pesquisa, que tem como objetivo investigar a comunicabilidade de modelos de software que são produzidos e consumidos através de ferramentas de modelagem. A comunicabilidade de modelos de software é a capacidade que estes artefatos têm de efetuar o processo de comunicação entre pessoas, ou a de serem usados como instrumentos para realizar parte significativa deste processo. As ferramentas de modelagem têm impacto direto nessa comunicabilidade, já que os produtores e consumidores de modelos interagem com tais ferramentas ao longo do processo de desenvolvimento do software. Durante essa interação, os modelos de software, que são artefatos intelectuais, são criados, alterados, evoluídos, transformados e compartilhados pelas pessoas envolvidas nas atividades de especificação, análise, design e implementação do software em desenvolvimento. Além da influência das ferramentas, a modelagem de software também deve considerar a utilização de notações previamente definidas como premissas para as atividades de modelagem. Esta pesquisa é uma investigação como ferramentas e notações de modelagem influenciam e apoiam o processo intelectual de produção e consumo de modelos de software. Temos a Engenharia Semiótica como teoria guia desta pesquisa, tendo em conta um aspecto essencial para esta que é: um estudo criterioso das ferramentas que os envolvidos no desenvolvimento do software utilizam para construir, usar e divulgar modelos através dos quais coordenam o seu trabalho de equipe. O uso de modelos no processo de desenvolvimento de software é um fenômeno que apresenta vários fatores que não podem ser isolados. Portanto, propomos a tripla Tool-Notation-People (TNP) como um recurso de articulação para caracterizar questões observadas sobre modelos no desenvolvimento de software, ao longo de toda a pesquisa. Junto com a tripla TNP, apresentamos um método que combina as perspectivas cognitiva e semiótica para avaliar as ferramentas de modelagem de software, produzindo dados sobre a metacomunicação designer-usuário, sendo os usuários, neste caso, os desenvolvedores de software. Nosso objetivo é rastrear potenciais relações entre a experiência de interação humano-computador dos evolvidos no processo de desenvolvimento de software no momento de criar/ler/editar modelos com: (a) o produto (tipos de modelo) gerado neste processo; e (b) as interpretações que tais modelos evocam quando usados efetivamente em situações práticas do cotidiano para comunicar e expressar ideias e entendimentos . A Engenharia Semiótica apresenta duplo interesse nesta pesquisa. Por um lado, como uma lente de observação , ela nos oferece diversos recursos para investigar e compreender a construção e uso de artefatos computacionais, seus significados e seus papéis no processo de comunicação. Por outro lado, um melhor entendimento sobre o processo completo que resulta, em última análise, na experiência do usuário durante a interação com o software é relevante para a evolução da própria teoria. Ou seja, esta pesquisa produziu mais conhecimento sobre as condições de comunicação e mútuo entendimento daqueles que, segundo a teoria, comunicam sua intenção e princípios de design através da interface , uma fonte potencialmente valiosa de explicações sobre problemas de comunicabilidade em IHC. / [en] Software development is a highly collaborative process where software construction is the common goal. It is supported at several stages by computer tools, including software modeling tools. Models are important artifacts of the software development process and constitute the focus of this research, which aims to investigate the communicability of software models produced and consumed with the support of modeling tools. Software model communicability is the capacity that such artifacts have of carrying and effecting a communication process among people, or of being used as an instrument to perform a significant part of such process. Modeling tools have a direct impact in that communicability, since model s producers and consumers interact with those tools throughout the software development process. During that interaction, software models, which are intellectual artifacts, are created, changed, evolved, transformed and shared by people involved in activities of specification, analysis, design and implementation of the software under development. Besides the influence of tools, software modeling also needs to take into consideration previously defined notations as premises for modeling activities. This research is an investigation on how tools and notations influence and support the intellectual process of production and consumption of software models. We have Semiotic Engineering as our guiding theory given the essence of it that is: a careful study of tools people interact with to build, use and publish models through which they coordinate teamwork. The use of models in the software development process is a phenomenon that includes several factors that cannot be isolated from each other. Therefore, we propose a Tool-Notation-People triplet (TNP triplet) as a means of articulation to characterize observed issues about models in the software development. Along with the TNP triplet, we introduce a method that combines semiotic and cognitive perspectives to evaluate software modeling tools, producing data about the emission of designer-user metacommunication, users in this case being software developers. We aim to track potential relations between the human-computer interaction experience of those involved in the software development process while creating/reading/editing models with: (a) the product (types of models) generated in the process; and (b) the interpretations that such models evoke when used effectively in everyday practical situations to communicate and express ideas and understandings. The interest of working with Semiotic Engineering in this research is twofold. First, as an observation lens, the theory offers many resources to investigate and understand the construction and use of computational artifacts, their meanings and roles in the communication process. Second, a better perspective about the complete process that results, ultimately, in the user experience during the interaction with the software is relevant for the theory s own evolution. In other words, this research has produced further knowledge about the communication conditions and mutual understanding of those who, according to the theory, communicate their intent and design principles through the interface, a potentially valuable source of explanations about communication problems in HCI.

[pt] Em um sistema de informação, falhas podem ocorrer pela diferença de entendimento das partes envolvidas em relação ao significado de um dado. Este é um problema bem conhecido pela engenharia de software, e defeitos deste tipo já foram responsáveis por falhas catastróficas, como a do Mars Climate Orbiter em 1999. O atual cenário de intercâmbio e processamento de dados, com grande volume de informação e heterogeneidade de participantes, cria um estado de suscetibilidade a estes defeitos. Entretanto, as técnicas de garantia de qualidade de software são tipicamente dirigidas à estrutura e às propriedades físicas dos dados, e não são eficientes ao observar questões semânticas. Este trabalho tem como intuito avaliar o uso de análise estática na detecção de conflitos semânticos em tipos de dados, e para validar sua eficácia esta abordagem foi comparada com outras técnicas de garantia de qualidade em um estudo qualitativo. A ferramenta de análise estática VERITAS (VERIficador estTÁtico Semântico) e a notação SemTypes foram desenvolvidas exclusivamente para tratar do problema de conflitos semânticos, adicionando controle de tipo semântico aos tipos reconhecidos por compiladores, e são apresentadas neste trabalho. / [en] Within information system, faults can occur by the difference in understanding of the parties involved regarding the meaning of data. This is a well-known problem for software engineering and defects of this type have been responsible for catastrophic failures, such as the Mars Climate Orbiter in 1999. The current scenario of data processing and exchange, with high information traffic volume and heterogeneous participants, increases system’s vulnerability to these defects. Besides that, techniques of software quality assurance are typically oriented to data structure and physical properties, failing to efficiently address semantics issues. This work has the objective to evaluate the use of static analysis to detect semantic conflicts in data types, investigating its efficacy through an qualitative study comparing different software quality assurance approaches. The static analysis tool VERITAS (VERIficador esTÁtico Semântico) and the SemTypes notation were exclusively developed to address the problem of semantic conflicts - adding a semantic control to the types recognized by compilers – and are presented in this work.

Made available in DSpace on 2016-04-27T16:58:20Z (GMT). No. of bitstreams: 1 ailton.pdf: 651725 bytes, checksum: 8adb37650167be6ac76266aebd841d29 (MD5) Previous issue date: 2002-11-06 / The objective of this study was to analyse the teaching and learning of the object we will term "measures, meaningful algorithms and scientific notation" for students in the final year of high school (18 year-olds). We turned to the work of the psychologist Raymond Duval concerning registers of semiotic representation and to the orientations related to transversality and interdisciplinarity proposed in the Parameters for the National Curriculum (PCN) for Mathematics. We also intend to show, through a diagnostic study, that this object appears not to be worked with. A preliminary study indicated that the teaching-learning problem is related to the lack of its emphasis in the teaching plans of schools and in didactic proposals. The next step was to attempt to respond to the following questions: "Which difficulties arise for students when the mathematics teacher tries to work in an interdisciplinary way? Particularly, what are the difficulties that students have to resolve when faced with problems related to measures, meaningful algorithms and scientific notations? What pedagogic alternatives can be proposed to reduce these difficulties?" We adopted as our basis the hypothesis that it is possible to find problem situations in which (a) historic knowledge about algorithms helps the comprehension and the distinction between dimensional and adimensional numbers; (b) the study of the first measurements helps the student to define standard measures and how to operate with these fundamental measures without interrupting the approximation sequence; and (c) when he expresses any number that represents a measure in scientific notation, considering meaningful algorithms, the student is capable of correctly applying the rounding norms to the result of any operation. To validate our hypothesis, we designed a teaching sequence related to the object of research, which was applied with final year students from the school Colégio Lázaro Silva in the city of Auriflama in the western region of the state of São Paulo. After the teaching sequence, a post-test was applied. Qualitative and quantitative analyses of this instrument confirmed that our hypotheses are relevant, since we could show that, in various problem situations, mathematical definitions related to the objects of research were presented which could be used as validations to the hypotheses. Therefore, through our analysis of the teaching sequence and the post-test, we could verify the importance of including the object in the mathematics curricula (PCNs) for both primary and secondary education and that this will necessitate its programming into teaching plans of schools and didactic proposals / O objetivo do presente trabalho foi analisar como se processa o ensinoaprendizagem sobre o objeto Mensuração, Algarismos Significativos e Notação Científica por alunos da 3ª série do Ensino Médio. Recorremos, para isso, ao trabalho do Psicólogo Raymond Duval sobre os registros de representação semiótica e às orientações relativas a transversalidade e à interdisciplinaridade que os Parâmetros Curriculares Nacionais propõem para o Ensino Fundamental e o Ensino Médio. Pretendemos também mostrar, através de um estudo diagnóstico, que o objeto parece não estar sendo trabalhado. Preliminarmente, foi possível observar que o problema do ensino-aprendizagem está relacionado à falta de evidência desse conteúdo nos planos de ensino das Escolas e das propostas didáticas. Então, procuramos responder as seguintes questões: Quais as dificuldades que surgem para os alunos quando o professor de Matemática busca realizar um trabalho interdisciplinar? Especificamente falando, quais as dificuldades que os alunos terão em resolver problemas relacionados ao conteúdo mensuração, algarismos significativos e notação científica? Que alternativas pedagógicas poderiam ser propostas para reduzir essas dificuldades ? Tomamos, por base, a hipótese de que há situações-problema em que; a) o conhecimento histórico sobre os algarismos auxilia a compreensão e a distinção entre número dimensional e número adimensional; b) o estudo sobre as primeiras medições ajuda o estudante a definir medidas padrões e como operar com as medidas fundamentais sem interromper a seqüência de aproximação; c) ao expressar qualquer número que represente uma medida em notação científica, considerando os algarismos significativos, o aluno é capaz de aplicar corretamente as normas de arredondamento ao resultado de qualquer operação. Para validar as hipóteses, elaboramos uma seqüência didática sobre o objeto de pesquisa, a qual foi aplicada aos alunos da 3ª série do Ensino Médio do Colégio Lázaro Silva, da cidade de Auriflama, região Oeste do Estado de São Paulo. Em seguida, aplicamos um pós-teste, fizemos uma análise qualitativa e quantitativa e concluímos que as hipóteses são pertinentes, pois todas as hipóteses, em várias situações-problema, foram apresentadas definições matemáticas relacionadas com o objeto de pesquisa capazes de validar essas hipóteses. Portanto, através das análises de pesquisa, da seqüência didática e da aplicação do pós-teste, pudemos provar que o objeto é recomendado pelos PCN para ser aplicado aos níveis de Ensino Fundamental, Ensino Médio e que se faz necessária a sua programação nos planos de ensino das escolas bem como nas propostas didáticas

Made available in DSpace on 2016-04-27T16:58:56Z (GMT). No. of bitstreams: 1 Marco Aurelio Kalinke.pdf: 4214510 bytes, checksum: 33a074afe0e549dc420a3f933afac2ce (MD5) Previous issue date: 2009-09-10 / The core goal of this research is to verify the language usually applied in web ambients, to the detriment of the mathematical symbolic language, can interfere in the mathematical problems interpretation formulated with the use of the Web language. For answering this question we realized a quality research mixed with quantity aspects that can contribute to understand the phenomena s involved. For developing this work we searched theoretical basement in Levy s works, that deal with the technologies evolution and in Kenski, when his works refer to the relation between technologies and education. Borba and Tikhomirov give us support between the relations of cognition and learning when the new technologies are being used. Cybis, Gamez and Ramos give us the basement for the ergonomics analysis and AVA legibly. Salmazo, Hoelzel and Nielsen are presents in aspects related to communication. Others authors have permeated the discussion in a sharp way for the comprehension of specific situations. The analisys of the data researched permitted us to conclude that the language usually used in web ambients, conjugated in a media that it is inserts, can bring problems of interpretation and comprehension from the statement of the problems. We realized that difficulties are more evident when it´s used the computer medium than the paper medium. We concluded that the paper medium can facilitate the solution of mathematical problems, if compared to the computer medium, that subjects manage to interpret in a correct way the statements proposed to the language usually used in web ambients , they manage to use the computer to solve problems that use mathematical symbology as long as they have access to necessary resources and the union between the computer medium to the language usually used in web ambients presented difficulties to the subjects participants in the survey. For remedying or minimize these problems we suggest that have an improvement in the communication between the user and the text presented to it. For complying this suggestion the texts used in AVAs must be elaborated carefully to be scannable according to Nielsen conception. The use of these resources when the text is being written it´s not the guarantee of the elimination from the problems observed, but can open a new perspective of the analysis for these problems, since that new forms and characteristics of writing arise new necessities of behaving analysis from the subjects front the problems presented that are formulated with basis in these new possibilities / Esta pesquisa tem como objetivo central verificar de que forma o emprego da linguagem usualmente aplicada em ambientes web, em detrimento da linguagem simbólico-matemática, pode interferir na interpretação de problemas matemáticos formulados com o uso da linguagem web . Para responder a essa questão, realizamos uma pesquisa qualitativa mesclada com aspectos quantitativos que podem contribuir para o entendimento dos fenômenos envolvidos. Para desenvolver o trabalho, buscamos embasamento teórico na obra de Levy, no que trata da evolução das tecnologias, e em Kenski, no que diz respeito à relação entre tecnologias e educação. Borba e Tikhomirov nos dão suporte nas relações entre cognição e aprendizagem quando em uso de novas tecnologias. Cybis, Gamez e Ramos nos dão o embasamento para a análise da ergonomia e legibilidade dos AVA. Salmazo, Hoelzel e Nielsen estão presentes nos aspectos relativos à comunicação. Outros autores permeiam a discussão de forma pontual para a compreensão de situações específicas. A análise dos dados levantados nos permitiu concluir que a linguagem usualmente utilizada em ambientes web, conjugada à mídia em que ela se insere, pode trazer problemas de interpretação e compreensão dos enunciados dos problemas. Percebemos que as dificuldades são mais evidentes quando usada a mídia computador, em relação à mídia papel. Concluímos que o papel pode ser um facilitador para a resolução de problemas matemáticos, se comparado ao computador; que os sujeitos conseguem interpretar de forma correta os enunciados propostos em linguagem usualmente utilizada em ambientes web, também conseguem utilizar o computador para resolver problemas que utilizam a simbologia matemática, desde que tenham acesso aos recursos necessários e que a junção da mídia computador com a linguagem usualmente utilizada em ambientes web apresentou dificuldades aos sujeitos participantes da pesquisa. Para sanar ou minimizar esses problemas, sugerimos que haja uma melhora na comunicação entre o usuário e o texto a ele apresentado. Para atender a essa sugestão, os textos utilizados em AVA devem ser elaborados com cuidado para que sejam scannable, segundo a concepção de Nielsen. O uso desses recursos na escrita do texto não garante a eliminação dos problemas observados, mas pode abrir uma nova perspectiva de análise para esses problemas, uma vez que, com novas formas e características de escrita, surgem novas necessidades de análise do comportamento dos sujeitos em relação a problemas formulados com base nessas novas possibilidades