Data | Título | Autor(es) | Tipo | Acesso |
7-Set-2023 | Adding uncertainty to real-time programming | Carvalho, Rui Carlos Azevedo | Dissertação de mestrado | Acesso aberto |
31-Jan-2022 | An HAROS extension for variability aware ROS code analysis | Pereira, Ricardo Ribeiro | Dissertação de mestrado | Acesso aberto |
2022 | Automatic repair of behavioural specifications | Cerqueira, Jorge Gabriel Alves | Dissertação de mestrado | Acesso aberto |
9-Jan-2020 | Early validation of system requirements and design | Miranda, Marcelo | Dissertação de mestrado | Acesso aberto |
1995 | Métodos formais na concepção e desenvolvimento de sistemas interactivos | Martins, F. Mário | Tese de doutoramento | Acesso aberto |
27-Set-2013 | Proof support for hybridised logics | Neves, Renato Jorge Araújo | Dissertação de mestrado | Acesso aberto |
16-Jul-2021 | Safety verification for ROS software | Santos, André Filipe Faria | Tese de doutoramento | Acesso aberto |
14-Jun-2023 | Towards a typed linear algebra formal semantics for spreadsheets | Azevedo, Rui Filipe Brito | Dissertação de mestrado | Acesso aberto |
Ago-2003 | Uma abordagem formal à engenharia da usabilidade | Campos, J. Creissac | Artigo em ata de conferência | Acesso aberto |
14-Jun-2012 | Validação de software altamente configurável | Lemos, Pedro Manuel Pereira de | Dissertação de mestrado | Acesso aberto |