Made available in DSpace on 2014-06-12T15:53:55Z (GMT). No. of bitstreams: 2 arquivo6386_1.pdf: 3378493 bytes, checksum: 2ea65399678659e12b1393a14ebbb799 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Refatoramentos são geralmente propostos de maneira ad hoc, porque é difíıcil provar formalmente que eles preservam comportamento. Na prática, desenvolvedores, mesmo utilizando ferramentas de refatoramento, têm que usar compilação e testes para garantir que os refatoramentos são corretos. Esse cenário não é desejado principalmente no desenvolvimento de sistemas críticos. No caso de refatoramento de modelos de objetos, boa parte das transformações se baseia em argumentações informais. Um outro problema é que as noções de equivalência para modelos de objetos são muito concretas, no sentido que elas assumem que os modelos devem possuir operações, ou os mesmos nomes e estruturas. Isso não é adequado em várias situações: durante refatoramento de modelos, quando usamos elementos do modelo que são auxiliares, ou quando os modelos comparados possuem elementos distintos, mas que são relacionados. Neste trabalho, nosso objetivo é propor um conjunto de transformações que preservam semântica para Alloy, que é uma linguagem formal de modelagem orientada a objetos. Nós especificamos em PVS um conjunto de regras de boa formação e estendemos a semântica para Alloy, e mostramos que as transformações propostas são corretas no provador de teoremas de PVS. Mostramos também que este conjunto de transformações ´e relativamente completo no sentido que, com ele, podemos derivar um conjunto representativo de transformações. Além disso, propomos uma noção de refinamentos mais abstrata e flexível para modelos de objetos, na qual nosso conjunto de transformações se baseia. Esta noção foi especificada em PVS, onde provamos algumas propriedades da mesma. Além de provarmos que ela é composicional, relacionamos a mesma com a noção de refinamento de dados para Z. Estas transformações são úteis não só para derivarmos refatoramentos formalmente, como também para otimizações. Além disso, mostramos que as transformações podem ser utilizadas para derivar refatoramentos que introduzem formalmente padrões de projeto em Alloy

Made available in DSpace on 2014-06-12T15:54:35Z (GMT). No. of bitstreams: 2 arquivo1981_1.pdf: 6212219 bytes, checksum: 57e3b6be9fbb0e00c922b6a9b4d105c8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Muitos estudos mostram que o uso de ferramentas de tecnologias de informação e multimídia é apontado como capaz de proporcionar progressos significativos no processo educacional. A busca por mecanismos computacionais que permitam a evolução destas técnicas não pára de crescer e entre estas tecnologias destacam-se os Objetos de Aprendizagem , que são recursos educacionais desenvolvidos a partir de objetos pedagógicos, com o intuito de mediar o processo de ensino e aprendizagem. Estes objetos podem ser combinados de várias maneiras, permitindo compor unidades de aprendizagem capazes de prover estratégias diversificadas e adequadas às necessidades dos alunos. No entanto, há uma grande dificuldade por parte dos educadores em incorporar essas ferramentas tecnológicas à prática pedagógica e, além disso, a construção destes objetos de aprendizagem ainda suscita enormes desafios aos professores e pesquisadores. Para mudar esse quadro é preciso o esforço conjunto de profissionais das áreas de Educação, Psicologia e Informática para a concepção e desenvolvimento de softwares educacionais com qualidade. Este trabalho tem como objetivo identificar boas práticas de metodologias de concepção de objetos de aprendizagem e avaliar como tais práticas contribuem no desenvolvimento, considerando as necessidades de uma equipe multidisciplinar

Made available in DSpace on 2014-06-12T15:56:27Z (GMT). No. of bitstreams: 2 arquivo2924_1.pdf: 2099836 bytes, checksum: e6fff26619f6e4a799873e9945973a35 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A educação a distância é uma modalidade de ensino que vem crescendo em todo mundo, devido à sua capacidade de minimizar problemas de tempo e localização geográfica. Dessa forma, vários métodos e técnicas de ensino a distância vêm sendo estudadas e criadas para aprimorar e potencializar ao máximo o processo de aprendizagem por parte dos alunos. Este trabalho apresenta uma solução para o acesso a objetos de aprendizagem por meio de dispositivos móveis e a sua integração em ambientes virtuais de ensino a distância, tendo como objeto de estudo o AMADEUS. Nesta solução, foi definida e implementada uma arquitetura que pode ser integrada aos referidos sistemas. Através dessa arquitetura, professores poderão adicionar objetos de aprendizagem à pratica docente e alunos poderão acessá-los em qualquer lugar e a qualquer momento por meio de seus dispositivos móveis, garantindo, dessa forma, um aprendizado interativo, atraente e divertido

Made available in DSpace on 2014-06-12T15:58:52Z (GMT). No. of bitstreams: 2 arquivo4738_1.pdf: 5061404 bytes, checksum: ad925ec1cce756ba884ec5b60d95fd0a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Tradicionalmente, a maioria dos Sistemas de Informações Geográficas (SIG) utiliza métodos puramente baseados na geometria dos objetos geográficos para representar uma informação espacial. Dessa forma, estes sistemas são eficientes para analisar e integrar informações espaciais por meio de dados modelados em coordenadas espaciais. Esta abordagem, porém, apresenta sérias limitações quando desejamos lidar com informações espaciais que refletem a forma como concebemos e raciocinamos sobre o espaço geográfico. O raciocínio espacial qualitativo tem ocupado um papel importante na busca por incrementar os SIG com mecanismos que incorporam o raciocínio e o conhecimento humanos sobre espaço. O objetivo destes mecanismos é prover meios que possibilitem ao usuário lidar com dados espaciais da mesma forma que ele percebe e interage com o mundo. Neste sentido, nosso trabalho visou criar meios para tratar relações de distância entre objetos geográficos. Para isto, serviu como motivação a importância que ocupa a questão da distância na atividade humana. O trabalho inclui: (1) uma análise dos principais fatores que interferem no raciocínio humano sobre distância; (2) definição de operadores para prover relações de distância qualitativa entre objetos geográficos, incluindo objetos de duas dimensões; (3) a implementação de um protótipo de sistema que utiliza os operadores de distância propostos. Dentre as principais funcionalidades do protótipo está o provimento de distância qualitativa entre objetos geográficos de diferentes formas e propriedades. Fatores como escala, alcançabilidade e atratividade são considerados para a definição da relação de distância entre estes objetos

Made available in DSpace on 2014-06-12T16:30:14Z (GMT). No. of bitstreams: 2 arquivo2871_1.pdf: 6059654 bytes, checksum: 5488cb04f9b7dd8459e63641f33c511b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Esse trabalho busca compreender a relação entre a forma e a modernidade a partir dos dispositivos elétricos na cidade do Recife dos anos 1930 que foram marcados por uma atmosfera mais pessimista em relação aos anos de fartura e crescimento da Belle Époque. A crise do Liberalismo de 1929 abriu um fosso nos referenciais do período que levou a uma discussão sobre os modelos de sociedade que deveriam ser adotados. O progresso surge como um paradigma a ser perseguido, levando a uma guerra contra os grupos considerados insalubres no centro da cidade e nos mocambos. Nessa luta, a eletricidade surge como veículo catalisador da modernização. Nas casas e nos ambientes públicos, possibilitou o surgimento de uma série de produtos que passaram a ter seus invólucros constantemente modificados em busca de um ideal de modernidade; a moda invade suas formas que passam a experimentar cada vez mais variações inessenciais, em nome de uma individualização do consumo. Por fim, os álibis que a publicidade oferece, foram analisados, levando-se em consideração as teorias de consumo da época

Made available in DSpace on 2018-03-22T15:00:23Z (GMT). No. of bitstreams: 1 tese_11694_vers_o final revisada SEM CAPA (1).pdf: 8097380 bytes, checksum: 91575e2f0278cc148a4cbf152538e003 (MD5) Previous issue date: 2017-12-20 / Trata este texto do resultado de pesquisa, inserido no conjunto de produções acadêmicas que discutem as relações entre letramento literário e objetos da cultura escolar, especificamente as adaptações de clássicos da literatura para crianças e jovens leitores. Constituem-se objetivos desta pesquisa: mapear e categorizar os mecanismos que configuram o processo de adaptação dessas obras e discutir as possíveis contribuições da leitura de adaptações para o letramento literário. O diálogo com a produção acerca do tema foi organizado por eixos: letramentos, letramento literário e escolarização; clássicos da literatura e formação do cânone e adaptações de textos literários, especialmente com os teóricos: Bakhtin (1988,1992,2003), Eco (2004, 2008), Marinho (2010) e Paulino (2004), Perrone-Moisés (1998, 2016). O corpus da análise constitui-se de Raptado, de Robert Louis Stevenson e As aventuras de Pinóquio, de Carlo Collodi e foi selecionado em função de dois critérios: serem adaptações realizadas a partir de textos previamente traduzidos para a língua portuguesa, a fim de identificar exclusivamente os mecanismos de adaptação e comporem o acervo do Programa Literatura em Minha Casa. Para desenvolver, sob o paradigma da interpretação, a pesquisa qualitativa, do tipo documental realizou-se análise comparativa entre textos integrais e adaptados, mapeamento e categorização dos mecanismos empregados pelos adaptadores, análise das consequências da adaptação de textos para a leitura e possíveis contribuições desse dispositivo para o letramento literário. Os mecanismos de adaptação foram categorizados em supressões, alterações e acréscimos, mobilizados em diferentes aspectos, o que resulta em uma nova obra, cuja intencionalidade mais expressiva volta-se para manutenção do enredo da narrativa e que contribui expressivamente para a formação do leitor semântico, cuja experiência estética tende a ser reduzida

Submitted by Alice Araujo (alice.caraujo@ufpe.br) on 2018-04-11T18:53:32Z No. of bitstreams: 1 DISSERTAÇÃO Gregório Bacelar Lameira.pdf: 13538251 bytes, checksum: d61ce6d55f2bdd9018eaa32485387590 (MD5) / Made available in DSpace on 2018-04-11T18:53:32Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO Gregório Bacelar Lameira.pdf: 13538251 bytes, checksum: d61ce6d55f2bdd9018eaa32485387590 (MD5) Previous issue date: 2016-10-27 / CAPES / Este trabalho visa analisar e discutr se existe e como se dá a compreensão após a utlização de objetos educacionais digitais (OEDs) por estudantes do ensino médio de uma escola pública de referência no Recife. Esses objetos estão incluídos nas obras de Física da Editora Átca do tpo 1 (digital e impressa), aprovadas no Programa Nacional do Livro Didátco de 2015. Volta-se a uma análise comparatva dos dois suportes, mas tem no digital os OEDs como base de diferenciação. Dentre os elementos utlizados para as análises e discussão estão aspectos relacionados à Teoria da Atvidade (TA). Dentre os pressupostos, está o de que quando os OEDs apresentam problemas conceituais e de estrutura informacional, eles deixam de ser utlizados pelos professores e alunos, que passam a buscar novas ferramentas a fm de traduzir conteúdos complexos em informação e conhecimento. Ademais, de que se cria a cultura por parte desses dois atores de que grande parte do material produzido para fns educacionais não é bem concebida, apresentando, além de problemas de relevância do conteúdo, falhas de comunicação com o contexto em que estão inseridos, como ludicidade ou sobriedade voltadas a públicos com faixas etárias e gostos distntos. / This work aims to demonstrate the analyze and discuss whether there is and how comprehension exists afer the use of using digital learning objects (OEDs) by high school students in a public school of reference in Recife. These objects are included in the books of Physics from Editora Átca and they are type 1 (digital and printed), approved in the Natonal Textbook Program 2015. Aimed at a comparatve analysis of the two supports, but has in the digital OEDs as the base diferentaton. Among the elements used for the analysis and discussion are aspects related to the Actvity Theory (AT). Among the assumptons is that when the OEDs present conceptual and informatonal structure problems, they are no longer used by teachers and students, who come to seek new tools to translate complex content into informaton and knowledge. Moreover, that it creates the culture by these two actors that much of the material produced for educatonal purposes is not well designed, with, in additon to issues of relevance of content, communicaton failures with the context in which they live, as playfulness or sobriety aimed at audiences with diferent age groups and likes.

Claudia Maria Bauzer Medeiros / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-21T03:03:43Z (GMT). No. of bitstreams: 1 Cilia_MarianoAriel_M.pdf: 2685893 bytes, checksum: 47e8649946a694f7818dd90f4c8ae6ad (MD5) Previous issue date: 1996 / Resumo: Esta dissertação trata da utilização de sistemas ativos no contexto de aplicações geográficas. Os resultados aqui apresentados estendem o paradigma de SGBD ativos com o objetivo de solucionar o problema de manutenção de relacionamentos espaciais (topológicos) na presença de atualizações. A solução apresentada para este problema está dividida em três etapas: i) especificação da restrição topo lógica; ii) transformação da restrição em regras; e iii) manutenção automática da restrição, com base nas regras geradas. Esta abordagem foi utilizada no desenvolvimento de um protótipo de sistema ativo que incorpora um modelo geográfico OO, eliminando o problema da impedância existente entre Sistemas de Informação Geográfica (SIG) e sistemas de regras. As principais contribuições deste trabalho são um estudo detalhado sobre relacionamentos topológicos binários; uma proposta integrada para o problema de manutenção desses relacionamentos; e a definição de algoritmos para a verificação de integridade topológica, implementados no protótipo. / Abstract: This dissertation concerns the use of active databases in geographic applications. The results presented here extend the active database systems paradigm to solve the problem of maintaining spatial (topological) constraints. The solution for this problem is divided in three steps: i) topological constraint specification; ii) translation of the constraint into roles; and iii) automatic constraint maintenance, using the generated rules. This approach was used in the development of an active system prototype that incorporates an object-oriented geographic model, thus removing the gap between Geographic Information Systems (GIS) and role systems. The main contributions presented are a detailed study about binary topological relationships; an integrated proposal for the problem of maintaining these relationships; and the definition of algorithms to verify the topological integrity (these algorithms are incorporated in the prototype). / Mestrado / Mestre em Ciência da Computação

Orientador: Leo Pini Magalhães / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-21T12:24:36Z (GMT). No. of bitstreams: 1 Ruschel_ReginaCoeli_D.pdf: 8881688 bytes, checksum: d73d9efee1dcb9a296f12f3c19b66e41 (MD5) Previous issue date: 1996 / Resumo: A análise dos vários modelos de objetos de SBDOOs (Sistemas de Banco de Dados Orientados a Objetos) existentes mostra não existir um padrão de consenso. Tal falha prejudica a portabilidade e inter-operabilidade dos SBDOOs, desmotivando a aceitação e adoção destes no mercado. Com o objetivo de solucionar esta problemática este trabalho propõe um modelo referência de objetos e um formalismo correspondente. O modelo referência proposto é compatível com o padrão ODMG-93. Portanto, trata as divergências entre os atuais modelos de objetos com uma abordagem padronizada. O formalismo desenvolvido fundamenta o modelo referência, matematicamente, na teoria de conjuntos. Este formalismo é flexível e abrangente, voltado não apenas para o modelo referência proposto, mas também para o paradigma de orientação a objetos. Conseqüentemente, o modelo referência, via seu formalismo, pode ser utilizado para caracterizar e/ou mapear modelos de objetos divergentes no contexto de SBDOO, contribuindo assim significativamente para uma melhor conceituação da área / Abstract: An analysis over existing object models of OODBSs (Object Oriented Database System) shows the absence of a standard. This flaw limits the portability and interoperability of OODBSs, harming its endorsement, therefore demotivating its use in the market. Aiming for a solution to the problem this work proposes a reference object model and the corresponding formalism. The reference object model is compatible to the proposed standard ODMG- 93. Therefore, a standardized solution is given to the divergence among current object models, The formalism developed founds the reference model, mathematically, through the set theory. This formalism is flexible and broad in such a way that it is not restricted to the reference model and, therefore, also represents the object oriented paradigm. The reference object model, through its formalism, can be used to characterize and/or map diverging object models in the context of OODBS, hence contributing significantly to improve the conceptualization of the area / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T09:27:29Z (GMT). No. of bitstreams: 1 Quadros_ElbsonMoreira_M.pdf: 3281148 bytes, checksum: faa27a1326207746a9726049feb65570 (MD5) Previous issue date: 1997 / Resumo: Este trabalho tem por objetivo aplicar técnicas de orientação a objetos para estruturar aplicações complexas, visando obter uma melhoria da qualidade e confiabilidade dessas aplicações. Várias técnicas orientadas a objetos são exploradas, tais como: abstração de dados, compartilhamento de comportamento (incluindo herança e delegação), classes abstratas, polimorfismo e acoplamento dinâmico. Nós propomos a utilização dessas técnicas na estruturação de aplicações distribuídas, provendo suporte para tolerância a falhas de ambiente através da incorporação disciplinada de redundância, de forma que o impacto dessa redundância na complexidade do sistema possa ser mantido sob controle. Para o entendimento e validação dessas técnicas foi desenvolvido um protótipo de uma aplicação distribuída orientada a objetos: um Controlador de Trens. Além disso, utilizamos duas abordagens promissoras para reutilização de software em grande escala - padrões de projeto e metapadrões - para a construção de um framework orientado a objetos para o subdomínio de controladores de trens / Abstract: The major goal of this work is to apply object-oriented techniques for structuring complex object-oriented applications, and to relate them to the improvement of quality and reliability of large computer applications. We use a collection of object-oriented concepts, features and mechanisms, such as data abstraction, inheritance, delegation, abstract classes, polymorphism and dynamic binding. We propose an approach for the provision of environmental fault tolerance and distribution, based on the incorporation of redundaucy in an incremental way, so that the complexity can be kept under controI. ln addition, we show how such techniques can be used to develop reusable and easier to extend software components. For the understanding and validation of these techniques, we developed a prototype of an object-oriented distributed and dependable railway controller application. Besides, we use design pattems and metapattems - two promising approaches for software reuse - for developing an object-oriented framework for a railway controller subdomain / Mestrado / Mestre em Ciência da Computação