Visualizar projeto

Dados Básicos
Título
Implementação de um Type-Checker para Programação Sensível ao Contexto
Número do projeto
027455
Número do processo
027455
Classificação principal
Ensino
Data inicial
13/08/2010
Data final
21/12/2010
Resumo
A Computação Pervasiva já é uma realidade no cotidiano das pessoas. A cada dia novos dispositivos são criados visando a segurança, comodidade, entretenimento e bem-estar geral do indivíduo. Os ambientes inteligentes estão se tornando comuns e se aproximando celeremente do cidadão comum. A demanda por softwares que gerenciem esta interação homem-ambiente-dispositivo também cresce concomitantemente, exigindo mecanismos que auxiliem a construção dos mesmos. Um função/procedimento que ajude na verificação dos dados a serem inseridos nos programas irá otimizar a produção desses aplicativos, evitando erros e agilizando a implementação. Daí a idéia de se criar um algoritmo que faça a checagem dos tipos de dados manipulados dentro de todo esse contexto.
Observação
[Não informado]
Projeto em âmbito confidencial
Não
Projeto superior
-
Palavra-chave 1
orientacao ao contexto
Palavra-chave 2
computacao pervasiva
Palavra-chave 3
sistema de tipos
Palavra-chave 4
[Não informado]
Tipo de evento
Não se aplica
Carga horária do curso
[Não informado]
Situação
Concluído/Publicado
Avaliação
Sem pendências de avaliação
Última avaliação
11/04/2011
Gestão do conhecimento e gestão financeira
O projeto pode gerar conhecimento passível de proteção?
Não
Propriedade Intelectual
[Não informado]
Proteção Especial
[Não informado]
Direito Autoral - Copyright
Não
O projeto contrata uma fundação? Indique a fundação
Não necessita contratar fundação
Classificações
Nenhuma classificação indicada
Nenhum objetivo estratégico indicado
Participantes
Matrícula Nome Função Carga Horária Período
@{matricula} @{pessoa.nomePessoa} @{funcao.descricao} @{cargaHoraria} h/semana @{dataInicial|format=dd/MM/yyyy} a @{dataFinal|format=dd/MM/yyyy}
Órgãos
Unidade Função Período
@{descricao} @{funcao.descricao} @{dataInicial|format=dd/MM/yyyy} a @{dataFinal|format=dd/MM/yyyy}
Plano de Trabalho
Metas/Indicadores/Fases