Últimos anúncios
Corpo Docente
Vasco Manuel Thudichum de Serpa Vasconcelos
Responsável
Mais informações
Descrição:
Pretende-se que o aluno fique a conhecer as principais técnicas sistemáticas (métodos formais) e ferramentas que, correntemente, podem ser usadas no processo de desenvolvimento de software de forma a aumentar a fiabilidade dos sistemas desenvolvidos. A ênfase será essencialmente em instrumentos que permitem verificar a correcção dos sistemas desenvolvidos relativamente aos requisitos para os quais foram concebidos. Pretende-se ainda que o aluno seja capaz de utilizar as seguintes ferramentas: JML, ESC/Java2, Spin.
- 2023/2024 - 1 Semestre -- (Engenharia Informática, MI, Segurança Informática)
- 2022/2023 - 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)
- 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)