DCOMP - DEPARTAMENTO DE COMPUTAÇÃO
Projeto de Pesquisa | Área de Conhecimento | |||
---|---|---|---|---|
2023 | ||||
PIB12543-2023 | Refatorações seguras para Java | Ciência da Computação | ||
PIB12821-2023 | Transformações algébricas de programas Java | Ciência da Computação | ||
2021 | ||||
PIB10321-2021 | Reconhecimento automático de imagens para apoio à análise clínica de motricidade orofacial | Ciência da Computação | ||
PIB10555-2021 | Refatorações seguras para Java | Ciência da Computação | ||
2018 | ||||
PVB6546-2018 | Refatorações seguras de programas corretos | Ciência da Computação | ||
2017 | ||||
PVB6114-2017 | Refatorações seguras de programas corretos | Engenharia de Software | ||
2016 | ||||
PVB5021-2016 | Verificação de transformações de programas orientados a objetos | Engenharia de Software | ||
2015 | ||||
PVB3790-2015 | Verificação de transformações de programas orientados a objetos | Engenharia de Software |
SIGAA | Superintendência de Tecnologia da Informação/UFS | Telefonista/UFS (79)3194-6600 | Copyright © 2009-2024 - UFRN v3.5.16 -r19150-8b2e1ce06f