O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Orientador: Luciana Maria Lunardi Campos / Banca: José Roberto Boettger Guardinetto / Banca: Renata Cristina Cabreira / Resumo: Essa dissertação tem como temática central a abordagem e a expressão da cotidianidade e sua relação com âmbito científico (não cotidiano) no ensino de Ciências, mais especificadamente em Livros Didáticos de Ciências do Fundamental II elencados pelo catálogo do PNLD de 2017. Baseia-se nas contribuições da psicologia Histórico-Cultural, da pedagogia Histórico-Crítica e da teoria da Vida Cotidiana de Agnes Heller, partindo dos pressupostos que a educação escolar tem função mediadora entre os âmbitos cotidiano e não cotidiano da prática social para a formação dos indivíduos; que a formação dos mesmos não pode restringir-se ao âmbito da cotidianidade, tendo que superá-lo em direção as generalidades para si e que o livro didático é um instrumento de suporte importante no processo educativo tanto para os alunos quanto para os professores. Este estudo buscou analisar a expressão do cotidiano nos livros didáticos de Ciência e a relação proposta por eles com âmbito científico. O estudo se caracteriza como uma pesquisa documental de abordagem qualitativa, envolvendo a coleta dos documentos e a análise de conteúdo. Os documentos referem-se aos livros didáticos de Ciências do 6º, 7º, 8º e 9º anos de quatro coleções do PNLD de 2017, coletados em escolas do município de Botucatu-SP. Foram estabelecidas duas unidades de análises: quanto à abordagem do cotidiano nos capítulos dos livros como um todo, nos textos principais, imagens e atividades, na qual contabilizamos quantos capítulos abordar... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This thesis has as its central theme the approach and expression of everyday life and its relation with the scientific scope (a non-everyday scope) on science teaching, more specifically, in science textbooks for elementary school listed on the catalog of PNLD 2017 (national program of the textbook). Our theoretical foundation is on the principles of historical-critical pedagogy, historical-cultural psychology and the everyday life theory from Agness Heller, based on the assumptions that the school education has the role of mediation between the everyday and noneveryday scopes from the social life for the individuals' formation, which cannot be restricted to the everyday scope, it has to overcome it in direction to the generic objectivation for itself; and that the science textbooks are an important support instrument in the educational process for both students and teachers. Therefore, the aim of this research was to analyze the expression of everyday life in science textbooks and the relation between it and the scientific scope proposed by them. This study is characterized as a documentary research with a qualitative approach, involving the collection of the documents in question and the content analysis. The documents are the science textbooks of the 6th, 7th, 8th and 9th years from elementary school of four collections listed on the PNLD catalog of 2017, and they were collected from schools at Botucatu-SP. Two units of analysis were established: one regarding the everyday... (Complete abstract click electronic access below) / Mestre

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 2012-10-18T04:21:38Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:05:16Z : No. of bitstreams: 1 184328.pdf: 2395850 bytes, checksum: 3471f2646ec27bee5f54dd6fb6f3e590 (MD5) / A Integração de Aplicações Empresariais (EAI) é uma resposta da Tecnologia da Informação aos problemas verificados nas organizações a partir de mudanças tecnológicas, organizacionais e de mercado. Do ponto de vista tecnológico verificou-se o surgimento de novos paradigmas de desenvolvimento e de plataformas menores e mais abertas, gerando um acúmulo de tecnologias heterogêneas e de soluções individualizadas. Do ponto de vista organizacional a evolução natural dos ambientes empresariais implicou no surgimento de processos funcionais organizacionais mais complexos, o que elevou sobremaneira a complexidade das aplicações e a necessidade de compartilhar informações que residiam naquelas soluções individualizadas. Finalmente, do ponto de vista do mercado, o surgimento do e-business, que aumentou a necessidade das aplicações dialogarem entre sí, o grande número de aquisições, fusões e incorporações de empresas e a migração dos sistemas para a Web tornou imperativa a questão da Integração de Aplicações Empresariais. Uma vez que a pura e simples troca

Dissertação (mestrado) - Universidade Federal de Minas Gerais, Programa de Pós-Graduação em Ciências da Informação. / Made available in DSpace on 2012-10-16T06:42:57Z (GMT). No. of bitstreams: 0

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 2012-10-24T13:21:37Z (GMT). No. of bitstreams: 1 262289.pdf: 2021144 bytes, checksum: f78790f63100558e174cb0f403429e67 (MD5) / A computação ubíqua provê ambientes com serviços e dispositivos interconectados que promovem a integração de infra-estrutura digital na vida das pessoas. Porém, por haver muitos empecilhos técnicos que impedem que a computação ubíqua se torne realidade, o foco da pesquisa atual acaba voltando-se, na maioria dos casos, para os assuntos técnicos como, por exemplo, como conectar novos dispositivos e construir aplicações úteis para melhorar a funcionalidade desses ambientes. Contudo, assuntos como segurança e privacidade ainda são pouco tratados. Além disso, nesses ambientes torna-se difícil a separação entre a segurança física e a segurança digital. Assim, fica claro que o paradigma da computação ubíqua introduz novas vulnerabilidades e exposições aos usuários dos seus ambientes, mostrando que as tecnologias, políticas e leis existentes não estão adequadas para lidar com essas novas situações. Nesta dissertação, os desafios em garantir privacidade em ambientes de computação ubíqua são explorados. Além disso, um metamodelo que endereça alguns destes desafios é descrito, apresentado e simulado na ferramenta Opnet.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação, Programa de Pós-Graduação em Ciência da Informação, Florianópolis, 2009. / Made available in DSpace on 2012-10-24T14:51:47Z (GMT). No. of bitstreams: 1 269224.pdf: 780100 bytes, checksum: 0ffd6cb5de3d23dda3c2e3657f3d1197 (MD5) / Estudo que objetiva investigar a institucionalização científica do campo de estudo do Turismo e áreas correlatas no Brasil, a partir das referências bibliográficas das dissertações produzidas em quatro Programas de Pós-Graduação, no período de 2000 a 2006. Os objetivos específicos são: recuperar as referências bibliográficas das dissertações em Turismo e áreas correlatas defendidas no Brasil, junto aos Programas de Pós-Graduação Stricto Sensu recomendados pela CAPES, a partir das bases de dados e dos documentos de área, no período 2000 a 2006; representar por meio de gráficos e mapas de visualização de conteúdo, a evolução do conhecimento científico produzido sobre Turismo e áreas correlatas no Brasil, no período 2000 a 2006; analisar a produção científica sobre Turismo desenvolvida nos Programas de Pós-Graduação Stricto Sensu em Turismo e áreas correlatas, por meio de métodos e técnicas bibliométricas e cienciométricas; intrepretar as representações geradas à luz de políticas de C&T da área de Turismo. Caracteriza-se como estudo exploratório, descritivo, qualitativo, apoiado nas ferramentas, técnicas e métodos bibliométricos e cienciométricos. O corpus é constituído de 334 referências bibliográficas, organizadas com base nas dissetações, e classificadas conforme o Tesauro de Turismo do Centro de Documentação Turística da Espanha, sendo 151 referentes à Universidade do Vale do Itajaí/SC, 97 referentes à Universidade Anhembi-Morumbi/SP, 59 referentes à Universidade Caxias do Sul/RS e 27 referentes ao Centro Universitário Una/MG. As análises das representações gráficas pautadas nas bases teóricas geraram os seguintes resultados: a institucionalização social do campo aponta instabilidade na estrutura dos programas, sinalizando as oscilações no total de docentes e das linhas de pesquisa existentes no período de 2000 a 2006. Sobre a institucionalização cognitiva do campo de estudo, sinaliza-se que há alto grau de dispersão quanto à aderência de docentes nas linhas de pesquisa, quanto às classes temáticas e linhas de pesquisa do programa de mestrado em Turismo e Hotelaria da Univali/SC, e quanto às classes temáticas e linhas de pesquisa de todos os programas. Demonstra a relação hierárquica entre os termos genéricos em todos os seus nivelamentos e aponta as áreas do conhecimento que dialogam com o campo de estudo. Finaliza com as considerações que reforçam os indícios de institucionalização social, mas pelo fato dos indícios de institucionalização, cognitiva do campo de estudo se apresentarem ainda de forma extremamente incipientes, sinalizam para reflexões acerca do desenvolvimento científico do Turismo no Brasil.

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 2012-10-24T20:43:50Z (GMT). No. of bitstreams: 1 264175.pdf: 2505828 bytes, checksum: de0c0ea46b5d1374d5718d445e573637 (MD5) / Serviços computacionais têm proporcionado facilidades à vida das pessoas, provendo mais agilidade em operações e acesso a informação. Muitos desses serviços são providos por dispositivos que estão espalhados no ambiente de convívio comum. Alguns destes equipamentos podem se conectar e trocar dados entre si utilizando uma infra-estrutura de rede. Entretanto, um conjunto maior de serviços poderia ser oferecido se dispositivos que empregam diferentes tecnologias de comunicação também pudessem se conectar e trocar dados. Dessa forma, seria possível aproveitar classes diversas de equipamentos para construção de soluções que atendam cenários de aplicação diversos. Com o objetivo de proporcionar um mecanismo que reúna serviços oferecidos por dispositivos heterogêneos é proposto neste trabalho o Device Service Bus (DSB). O DSB consiste em uma infra-estrutura de middleware empregada para integração de diferentes dispositivos embarcados em ambiente de computação ubíqua. Baseado no Devices Profile for Web Services (DPWS) como tecnologia de integração, o DSB permite interação de vários dispositivos que adotam diferentes padrões de comunicação. Esse trabalho apresenta uma implementação de um protótipo do DSB, que provê componentes de software que são implantados em dispositivos responsáveis por construir um barramento de integração entre dispositivos heterogêneos. Além disso, dois cenários de aplicação real reunindo sensores Sun SPOT e leitores RFID, e medições de desempenho obtidas com estes dispositivos também são apresentados nesse trabalho.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T00:07:06Z (GMT). No. of bitstreams: 1 280086.pdf: 7808248 bytes, checksum: 847254a5895cd190671b6a08395b2285 (MD5) / Esta dissertação apresenta um conjunto de ferramental desenvolvido para a inserção de interatividade em Televisão Digital para conteúdos jornalísticos. Para isso é apresentado um levantamento bibliográfico realizado sobre os assuntos decorrentes, bem como o conjunto de ferramentas implementadas. O conjunto proposto e desenvolvido consiste em uma ferramenta de autoria, aliada a templates permite a criação de projetos baseados em linha de tempo para televisão digital interativa. Junto é apresentado um servidor capaz de armazenar os projetos gerados com a ferramenta de autoria bem como receber, através do canal de retorno, informações geradas por aplicativos interativos. Para colher resultados da implementação foram realizados três projetos, com grupos distintos, utilizando as ferramentas e relatado a experiência de cada grupo.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação, Programa de Pós-graduação em Ciência da Informação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T00:53:06Z (GMT). No. of bitstreams: 1 279590.pdf: 2862087 bytes, checksum: 131d80b87965f1b0028d2e4300235278 (MD5) / Este trabalho objetiva analisar a percepção e o uso científico-acadêmico de ferramentas Web 2.0 pelos docentes de Programas de pós-graduação stricto sensu em Ciência da Informação no Brasil. A ciência possibilita o desenvolvimento de novas tecnologias ao mesmo tempo em que é alavancada ou desafiada pelas ferramentas tecnológicas que desenvolve. A Internet se apresenta como mais um meio propício à comunicação entre cientistas e pesquisadores e a Web 2.0 representa um novo padrão, ao viabilizar a colaboração do tipo muitos-muitos, recurso que vem sendo utilizado pela comunidade científico-acadêmica. A fim de cumprir o primeiro objetivo específico de caracterizar o cenário de uso da Web 2.0 pela comunidade científica recorreu-se à pesquisa bibliográfica e investigação de natureza exploratória. Para cumprir o segundo e o terceiro objetivos específicos de identificar respectivamente uso e a percepção sobre ferramentas Web 2.0 pelos docentes, sujeitos da pesquisa, recorreu-se a instrumento de coleta de dados na forma de questionário on-line com perguntas fechadas, espaço para comentários opcionais e uma pergunta aberta. Os dados das perguntas fechadas foram analisados por meio de análise estatística simples seguida de análise qualitativa. Os comentários opcionais foram interpretados por meio de análise qualitativa. A pergunta aberta foi tratada pela técnica de análise de conteúdo. Os resultados da pesquisa mostraram que da amostra de 44 respondentes, 68% usam a Web 2.0 com finalidades científico-acadêmicas, 14% não usam a Web 2.0 com essa finalidade e 18% responderam não usar, mas ter interesse. Em síntese, 86% dos respondentes usam ou tem interesse no tema. Conclui-se que a Web 2.0 é percebida pelos respondentes da pesquisa, professores da Ciência da Informação como tendo potencial para a colaboração científica, para a internacionalização da ciência, para as atividades de ensino, entretanto a visibilidade para pesquisas de países periféricos e semiperiféricos não depende da tecnologia mais do que depende do idioma. A colaboração científica não depende apenas da tecnologia, mas é alavancada por esta. A confiabilidade da informação não é determinada pelo meio em si. A Web 2.0 tem o potencial de alavancar a colaboração entre pessoas motivadas por interesses diversos. A ciência é uma atividade social em rede e vem sendo beneficiada pelas ferramentas colaborativas da Web 2.0. Para a Ciência da Informação, a Web 2.0 traz desafios em função de a informação se apresentar não estruturada, em interação dinâmica em tempo real com o usuário/produtor. / The objective of this study is to investigate how lecturers of post-graduate courses in information science in Brazil perceive and use Web 2.0 tools. While science enables the development of new technologies, it is also leveraged or challenged by the technological tools it develops. The Internet has arrived as another suitable means of communication between researchers and Web 2.0 represents a new standard, supporting many-many type collaboration, a commonly used resource in the academic-scientific community. Bibliographical research and exploratory investigation techniques were employed to achieve the first specific objective of characterizing the use of Web 2.0 by the scientific-academic community. In order to achieve the second and third objectives, namely to identify the usage and perception of Web 2.0 tools by the lecturers, data collection was conducted by means of an on-line questionnaire comprised of closed questions, an optional comments box and one open question. The data from the closed questions were analyzed through simple statistical analysis followed by qualitative analysis. Qualitative analysis was also used to interpret the optional comments, while the answers to the open question were examined by means of content analysis. The survey results showed that of the sample of 44 respondents, 68% use Web 2.0 for academic-scientific purposes, 14% do not use Web 2.0 for that purpose and 18% do not use the tool at all, but are interested in using it. Overall, 86% of the respondents either use or are interested in using the tool. In conclusion, Web 2.0 is seen by the survey respondents, information science lecturers, as capable of providing the grounds for scientific collaboration, the internationalization of science and for educational activities, however increased exposure of research studies from fringe and semi-fringe countries depends more on the language than on the technology employed. Scientific collaboration does not rely solely on technology, but is leveraged by it. Moreover, the reliability of the information is not determined by the means itself. Web 2.0 has the potential to support collaboration between people driven by different interests, and science as an institution and networked social activity is being furthered by Web 2.0 collaborative tools. Web 2.0 has brought changes to the field of Information Science in virtue of the non-structured presentation of the information, in dynamic and real time interaction with the user/producer.

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 2012-10-25T03:47:11Z (GMT). No. of bitstreams: 1 287315.pdf: 2205010 bytes, checksum: 2435ae1db3362e6ef90c21cb91db411a (MD5) / A computação em nuvem, como todo novo paradigma tecnológico, apresenta diversos desafios: consolidação de definição e bases conceituais; estabelecimento de consenso sobre aplicações e benefícios; gerenciamento, entre outros. Este trabalho visou a apresentação desse paradigma, focando-se na atividade gerencial de monitoramento. Apresenta-se uma revisão sobre o estado da arte do conceito computação em nuvem, discussão de seus principais modelos de implantação e entrega de serviços, esforços de padronização, questões de gerenciamento e principalmente, monitoramento. Discute-se uma proposta de arquitetura de monitoramento para computação em nuvem que contempla o modelo de implantação de nuvem privada e o modelo de entrega de serviços conhecido como IaaS (Infrastructure as a Service ou Infraestrutura como Serviço). Contempla-se o modelo de nuvem privada e IaaS porque se considera que essa é a combinação que fornece maior controle para a organização que adota o uso da computação em nuvem, assim como também fornece os benefícios de maior aproveitamento do parque tecnológico instalado. Considerou-se também que o modelo de serviço IaaS é um modelo importante a ser estudado e contextualizado, pois pode trazer grandes benefícios às pequenas e médias empresas, laboratórios de pesquisa e organizações governamentais, educacionais, sem fins lucrativos e outras, pois, além de melhorar o aproveitamento do parque tecnológico instalado, pode facilitar atividades acadêmicas, manutenção de software e até postergar aquisição de novos equipamentos. Para teste e validação da arquitetura proposta desenvolve-se um protótipo denominado PCMONS (Private Cloud MONitoring Systems), o qual é programado em módulos e utiliza as linguagens de programação Python, Perl e Linux Shell Scripting. O protótipo inicial foca no monitoramento de máquinas virtuais, dando suporte à plataforma de software para computação em nuvem Eucalyptus e a ferramenta de monitoramento Nagios. Para teste geral da arquitetura e protótipo, implanta-se um ambiente de computação em nuvem privada no Laboratório de Redes e Gerência (LRG) do Departamento de Informática e Estatística (INE) da Universidade Federal de Santa Catarina (UFSC). Apresentam-se os resultados obtidos através de um estudo de caso, o qual considera um possível cenário de uso para uma nuvem privada, com monitoramento realizado pelo PCMONS. / Cloud computing, like any new technological paradigm, presents many challenges: consolidating the definition and conceptual basis, establishing consensus on applications and benefits, management, among others. This work introduces this paradigm, focusing on one of the management activities: monitoring. It presents a review on the stateof- the-art in cloud computing concepts, discuss their main deployment and service delivery models, standardization efforts, management issues and, mainly, monitoring. It also presents and discusses a proposal of an architecture for monitoring cloud computing, which encompasses the private cloud deployment model and the service delivery model known as IaaS (Infrastructure as a Service). Private clouds and IaaS are focused because we consider that this is the combination that provides most control to the organization that adopts the use of cloud computing, and also provides the benefits of increasing the use of installed technological infrastructure. It was also felt that the IaaS service model is an important model to be studied and contextualized, because it can bring great benefits to small and medium enterprises, research laboratories and governmental, educational and nonprofit organizations, and others, because, besides the potential better use of the installed technological infrastructure, it can facilitate academic activities, software maintenance and even to postpone purchase of new equipment. To test and validate the proposed architecture, it is developed a prototype called PCMONS (Private Cloud MONitoring Systems), which is programmed into modules and uses the Python, Perl and Linux Shell Scripting languages. The initial prototype focuses on the monitoring of virtual machines, supporting the Eucalyptus software platform for cloud computing and the monitoring tool Nagios. To test the general architecture and prototype, it is deployed a private cloud computing environment in the Network and Management Laboratory (LRG), Department of Informatics and Statistics (INE), Federal University of Santa Catarina (UFSC). The results obtained are presented through a case study, which considers a possible usage scenario for a private cloud, with monitoring conducted by PCMONS.