Deutschland online bookmaker http://artbetting.de/bet365/ 100% Bonus.

Download Template Joomla 3.0 free theme.

Sistemas Embarcados e Engenharia de Software

Descrição da Linha de Pesquisa

Na área de Sistemas embarcados, esta linha de pesquisa aborda o desenvolvimento de métodos, técnicas, ferramentas e tecnologias para os produtos de eletrônica de consumo do futuro, combinando a construção tradicional de hardware com métodos para a construção de software, procurando novas formas de integração dessas duas áreas, incluindo sistemas embarcados, de tempo-real, ciber-físicos, pervasivos e ubíquos, processamento digital de sinais, automação de sistemas, especificação e verificação formal de sistemas digitais. Na área de Engenharia de Software, esta linha atua na proposição de métodos, técnicas, ferramentas e tecnologias de apoio à qualidade de software, avaliação e melhoria de produtos e processos de software, avaliação de usabilidade, comunicabilidade e User eXperience, engenharia de requisitos, e verificação, validação e teste de software, em diferentes plataformas.

Tópicos de Pesquisa Investigados

  •  Arquitetura de Computadores
  •  Design e Avaliação de Interação
  •  Engenharia de Software Experimental
  •  Engenharia Dirigida por Modelos
  •  Fatores Humanos e Sociais em Engenharia de Software
  •  Integração de Técnicas de ES e IHC
  •  Learning Software Organizations
  •  Linguagens de Domínio Específico
  •  Melhoria de Processo de Software
  •  Projeto e Desenvolvimento de Aplicativos com Baixo Consumo de Energia
  •  Redes de Sensores sem Fio: Hardware, Protocolos e Aplicações
  •  Sistemas Embarcados e de Tempo-Real
  •  Sistemas Embarcados e Móveis: Projeto e Eficiência em Energia
  •  Usabilidade e UX (User eXperience)
  •  Verificação Formal Automatizada de Sistemas de Hardware e Software
  •  Verificação Formal Baseada nas Teorias do Módulo da Satisfatibilidade

Laboratórios

You are here: Home Engenharia de Software