Página Inicial
Mais informações
Título:
Pretende-se que o aluno fique a conhecer as principais técnicas e ferramentas que são usadas atualmente durante o processo de desenvolvimento de software, a fim de aumentar a confiabilidade dos sistemas. É colocada ênfase em ferramentas para verificar e monitorar 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 padrão 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 em ferramentas de verificação automática. Além disso, os alunos serão expostos aos mais recentes desenvolvimentos em métodos de confiabilidade de software, bem como às diferentes estratégias que levam de resultados teóricos para projetos industriais.
- 2024/2025 - 1 Semestre -- (Engenharia Informática, MI, Segurança Informática)
- 2023/2024 - 1 Semestre -- (Engenharia Informática, MI, Segurança Informática)
- 2021/2022 - 1 Semestre -- (Engenharia Informática, MI, Segurança Informática)
- 2020/2021 - 1º semestre -- (Engenharia Informática, Informática, MI, Segurança Informática)
- 2019/2020 - 1 Semestre -- (Engenharia Informática, Informática, MI, Segurança Informática)
- 2018/2019 - 1 Semestre -- (Engenharia Informática, Informática, MI, Segurança Informática)
- 2017/2018 - 1 Semestre -- (Segurança Informática)
- 2017/2018 - 1 Semestre -- (Engenharia Informática, Informática, MI)
- 2016/2017 - 1 Semestre -- (Segurança Informática)
- 2016/2017 - 1 Semestre -- (Engenharia Informática, Informática, MI)
- Mestrado Bolonha em Segurança Informática - 3_MSI 2020/21
- Mestrado Bolonha em Informática - 2_MI 2012/13
- Mestrado Bolonha em Engenharia Informática - 3_MEI 2012/13
- Mestrado Bolonha em Engenharia Informática - 4_MEI 2020/21
- Mestrado Bolonha em Informática - 3_MI 2020/21
- Mestrado Bolonha em Segurança Informática - 2_MSI 2013/14