Navegação por Assunto "Programação"
Resultados 21-40 de 66
-
GraphSchema : uma linguagem visual para a criação de modelos de contratos com SML
(2008) [Dissertação]É usual falar da onipresença dos documentos de texto e na quantidade de informação não estruturada, armazenada sob a forma de arquivos com documentos de texto em linguagem natural. Este fato torna-se mais dramático no ... -
Histórias em quadrinhos: autoria mediada por software livre
(2020) [Trabalho de conclusão de graduação]O presente trabalho de conclusão de curso trata de uma pesquisa teórica a respeito do uso das histórias em quadrinhos (HQs) nas intervenções de sala de aula e tem como recorte de pesquisa a autoria de HQs animadas por parte ... -
I Conselho Regional de Entidades de Educação Física (Presidente Prudente, 1990) - Cartaz de divulgação
(1990) [Material de divulgação]Cartaz de divulgação do I CoREEF, com dia, local e programação detalhada do evento. -
II Edição do Internúcleos do Programa Esporte e Lazer da Cidade (Bagé, 2005)
(2005-04-22) [Material de divulgação]Folder preto e branco contendo logotipo da Prefeitura Municipal de Bagé. Contém informações sobre a programação do evento que foi realizado nos dias 21 a 22 de abril de 2005. -
Implementação de critério para o teste estrutural de programas
(1990) [Resumo publicado em evento] -
Implementação de um gerador de analisadores sintáticos do tipo slr
(1990) [Resumo publicado em evento] -
Inference rules for generic code migration of aspect-oriented programs
(2009) [Dissertação]The latest versions of AspectJ { the most popular aspect oriented extension for Java { must cope with complex changes that occurred in the Java type system, specially with the parametric polymorphism which aims to improve ... -
Instrumentação e monitoração no teste de programas
(1990) [Resumo publicado em evento] -
Introdução a métodos formais : especificação, semântica e verificação de sistemas concorrentes
(2000) [Artigo de periódico]Este tutorial apresenta uma visão geral de metodos formais para a especificação, semântica e verificação de sistemas concorrentes. Um mêtodo de especificação for- mal dá uma descrição precisa de um sistema em uma notação ... -
Introdução ao Arduino - O Básico para Começar
(2018-09-17) [Recurso educacional]Conjunto de vídeos integrantes do curso Introdução ao Arduino - O Básico para Começar na plataforma Lúmina UFRGS (https://lumina.ufrgs.br/course/view.php?id=30) para interessados em aprender mais sobre programação e ... -
I Semana de Educação Física (Aracaju, 1999) - Programação
(1999-05) [Material de divulgação]Documento em formato de livreto com a programação completa da I Semana de Educação Física, que ocorreu de 24 a 27 de Maio de 1999 na Universidade Federal de Sergipe. O evento contou com o apoio da Secretaria Estadual de ... -
IX Congresso Brasileiro de Ciências do Esporte (Vitória, 1995) - Caderno de Programação
(1995-09) [Material de divulgação]Programação do IX Congresso Brasileiro de Ciências do Esporte, que ocorreu de 03 à 08 de Setembro de 1995 na Universidade Federal do Espírito Santo. O documento contém informações referentes ao evento. -
Uma Linguagem visual de consulta a XML baseada em ontologias
(2001) [Dissertação]O volume de informações armazenadas e representadas em XML cresce rapidamente, abrangendo desde a Web até bancos de dados corporativos. Nesse contexto, surge a necessidade de mecanismos de recuperação de dados nesse formato ... -
LPC: LABORATÓRIO DE PROGRAMAÇÃO COMPETITIVA
(2021) [Resumo publicado em evento] -
MARO : um modelo de emoções usando ontologia
(2012) [Dissertação]Este trabalho apresenta um framework que permite a programação de agentes capazes de perceberem seus próprios estados emocionais. O framework foi desenvolvido em Java com base na plataforma multi-agente Jason, estendendo ... -
Methods and apparatus to determine network link weights
(2010) [Patente] -
Um Modelo de replicação em ambientes que suportam mobilidade
(2001) [Dissertação]Os estudos sobre mobilidade intensificaram-se com o uso em grande escala da Internet, pois esta trouxe a possibilidade de explorar mobilidade através de redes heterogêneas, conectadas por diferentes links de comunicação e ... -
Modelo de uma arquitetura Dataflow baseada em conexões
(1998) [Resumo publicado em evento] -
Motf : meta-objetos para tolerância a falhas
(1995) [Tese]As técnicas de programação e os mecanismos de linguagens de programação destinados ao desenvolvimento de aplicações de alta confiabilidade são agrupadas sob a denominação de tolerância a falhas em software. A área de ... -
MUSEU DE PALEONTOLOGIA DA UFRGS – PROGRAMAÇÃO 2011
(2011) [Resumo publicado em evento]