Sistemas Interactivos
[Fechado]
Descrição da Oportunidade
- Elaborar um survey sobre detecção de conflitos em conjuntos de regras de home automation; - Desenvolver uma abordagem para a modelação de conjuntos de regras de home automation usando lógica modal de acções; - Desenvolver uma abordagem para a caracterização de conflitos em conjuntos de regras de home automation, utilizando lógica temporal; - Aplicar a ferramenta IVY Workbench à análise de conjuntos de regras de home automation utilizando a abordagem previamente definida; - Escrever o relatório de atividades da bolsa.
Habilitações Académicas
Frequência de um curso de mestrado em Engenharia Informática.
Requisitos Mínimos
-Média de licenciatura e mestrado igual ou superior a 16;-Conhecimentos de Human-Centered Design.
Fatores de Preferência
Experiência prévia em modelação de interfaces; Fluência em Inglês e Português (falado e escrito).
Período de candidatura
Desde 08 Feb 2023 a 21 Feb 2023
[Fechado]
Centro
Laboratório de Software Confiável