Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança Informática

Mestrado Bolonha em Engenharia Informática

Espera-se que os alunos fiquem a conhecer algumas das principais técnicas e ferramentas que podem ser usadas atualmente durante o processo de desenvolvimento de software, a fim de aumentar a fiabilidade dos sistemas de software. A ênfase é em ferramentas para verificar a correção de vários tipos de artefatos produzidos durante o processo de desenvolvimento de software —código, modelos intermediários, projetos, especificações— em relação aos seus requisitos. O uso dessas ferramentas envolve o conhecimento dos modelos formais standard para representar sistemas sequenciais, concorrentes e reativos, e de lógicas para descrever suas propriedades. Espera-se também que os alunos adquiram experiência na utilização de algumas ferramentas de verificação automática. Além disso, os alunos serão expostos aos mais recentes desenvolvimentos em métodos focados na fiabilidade de software, bem como às diferentes estratégias que levam de resultados teóricos para projetos industriais.