Últimos anúncios
Corpo Docente
Vasco Manuel Thudichum de Serpa Vasconcelos
Responsável
Mais informações
Descrição:
Compreender os desafios científicos e tecnológicos associados à análise de software. Visão abrangente às diferentes abordagens dos métodos de análise que conduzem a software fiável. Capacidade de utilizar métodos formais para estabelecer propriedades de programas Proficiência no uso de diferentes ferramentas de verificação de software.
- 2024/2025 - 2 Semestre -- (DInformática)
- 2023/2024 - 2 Semestre -- (DInformática)
- 2022/2023 - 2 Semestre -- (DInformática)
- 2022/2023 - 1 Semestre -- (DInformática)
- 2021/2022 - 2 Semestre -- (DInformática)
- 2020/2021 - 2º semestre -- (DInformática)
- 2020/2021 - 1º semestre -- (DInformática)
- 2019/2020 - 2 Semestre -- (DInformática)
- 2019/2020 - 1 Semestre -- (DInformática)
- 2018/2019 - 2 Semestre -- (DInformática)
- 2018/2019 - 1 Semestre -- (DInformática)
- 2017/2018 - 2 Semestre -- (DInformática)
- 2017/2018 - 1 Semestre -- (DInformática)
- 2016/2017 - 2 Semestre -- (DInformática)
- 2016/2017 - 1 Semestre -- (DInformática)