Engenharia de Software - INESC TEC
Esta bolsa complementa a formação tipicamente oferecida nos cursos de engenharia informática, ciências da computação, ou afins, possibilitando ao bolseiro realizar um projeto (ou dissertação de mestrado) que lhe permitirá solidificar os conhecimentos na área dos métodos formais para a engenharia de software. Em particular, o bolseiro irá desenvolver o seguinte plano de trabalhos e formação: - identificar uma técnica de análise de código ROS orientada a modelos previamente desenvolvida no projeto cuja eficiência não permita a sua aplicação em sistemas realistas, nomeadamente sistemas com grande variabilidade; - identificar e analisar trabalho relacionado relevante; - especificar e implementar uma nova versão dessa técnica na ferramenta HAROS; - avaliar a eficácia da referida técnica através da sua aplicação ao software de um sistema robótica realista; - escrever o relatório de atividades da bolsa.