LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer Science, formed under the auspices of the European Comission ALFA Programme (Latin America Academic Training) programme.  Integrantes: Carlos Camarão de Figueiredo – Integrante / Luis Soares Barbosa – Coordenador

A etapa de avaliação é fundamental para o design de uma interface, afinal é através dela é que se consegue verficar a qualidade da solução proposta, ou seja, se ela atende às necessidades dos usuários, se existem problemas de interação ou interface, seu efeito sobre o trabalho dos usuários, e

Neste projeto, desenvolvemos algoritmos baseados em Relaxação Lagrangeana e Planos de Corte para variantes do Problema do Caixeiro Viajante: a versão com Recolha de Prêmios e a versão distância seletiva. Nesta última, caso um vértice não pertença a rota do caixeiro, deve haver algum vértice na rota que dista não

Construção automática de ambientes virtuais realísticos com aplicações em robótica cooperativa. Utilização de um domo de câmeras para captura de imagens e movimento, reconstrução 3D, localização, etc. Integrantes: Luiz Chaimowicz – Integrante / Mário Fernando Montenegro Campos – Integrante / Rodrigo Carceroni – Coordenador.  

Simulação através de computador é uma ferramenta vital para a análise de sistemas complexos, e sistemas caros e difíceis de serem construídos. É uma ferramenta que ajuda no desenvolvimento e avaliação de novas idéias e algoritmos a serem usados em problemas do mundo real. É impensável construir um sistema para

Projeto de Pesquisa aprovado no programa FAP Ação Transversal. O objetivo do projeto é o desenvolvimento de firmware e automatização de testes de firmware para o Produto Spectrum PIART. O Spectrum PIART, é um medidor de energia elétrica ativa, energia reativa indutiva e capacitiva, classe de presisão 1%, 2 ou

O uso de imagens de sensoriamento remoto (ISRs) como fonte de informação em aplicações voltadas para o agronegócio é bastante comum. Nessas aplicações, saber como é a ocupação espacial é fundamental. Entretanto, reconhecer e diferenciar regiões de culturas agrícolas em ISRs ainda não é uma tarefa trivial. Embora existam métodos

O objetivo deste projeto de pesquisa é aperfeiçoar as técnicas de definição da semântica denotacional de linguagens de programação, oferecendo meio apropriados para tratamento dos elementos inerentes às linguagens de grande porte e que ainda são impedimentos à escrita de definições modulares. Como resultado, espera-se desenvolver uma nova metodologia de

No contexto de aplicações distribuídas de grande porte, desenvolver soluções a nível de sistemas operacionais e redes de computadores que propiciem a criação de um ambiente de desenvolvimento e execução de aplicações distribuídas em larga escala e com alto desempenho é hoje um desa?o para a comunidade de sistemas distribuídos.