| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
1171 | Maria João Gomes Frade | Prof. Auxiliar | Lógica e Métodos Formais | E-mail
Ext.: +604445 | E7-2.15 |
Qualificações: 1991 - Licenciatura em Matemática e Ciências da Computação (U. Minho); 1995 - Mestre em Ciências da Computação (U. Minho); 2004 - Doutoramento em Fundamentos da Computação (U. Minho) | Página pessoal: http://www.di.uminho.pt/~mjf |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP |
Publicações selecionadas | - Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto: 'A generalized program verification workflow based on loop elimination and SA form'. FormaliSE@ICSE 2019: 75-84
- M. J. Frade, J. S. Pinto. Verification Conditions for Source-level Imperative Programs. In Computer Science Review, Volume 5, Issue 3, pp. 252-277, 2011. Elsevier.
- Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto: 'A Generalized Approach to Verification Condition Generation'. COMPSAC (1) 2018: 194-203
- J. B. Almeida, M. J. Frade, J. S. Pinto, S. Melo de Sousa. Rigorous Software Development - An Introduction to Program Verification. Springer, 2011. ISBN 978-0-85729-017-5.
- Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto: 'Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach'. ESOP 2016: 41-67
|
Projetos | - Verificação de Segurança para Software Robótico (PTDC/CCI-INF/29583/2017)
- Análise e Verificação de Programas Concorrentes Críticos (PTDC/EIA-CCO/117590/2010)
- CROSS - Uma infra-estrutura para a certificação e re-engenharia de Software Livre (PTDC/EIA-CCO/108995/2008)
|
Docência | Regências: | Aulas: - Lógica Computacional [8505O5]: turno TP 1
- Semântica das Linguagens de Programação [8506O8]: turnos T 1 e TP 1
- Programação Funcional [J301N4]: turnos T 1 e TP 1
- Métodos Formais em Engenharia de Software (comum c/ MEI) [MC25MC2503003255]: turnos T 1 e TP 1
- Verificação Formal (comum c/ MEI) [MC25MC2503005186]: turnos T 1 e TP 1
- Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1, T 2, TP 1, TP 2, TP 3, TP 4 e TP 5
- Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1
|
Serviço | - Docente do Departamento de Informática da U. Minho (desde 1992)
|
Departamento de Informática (UM)