Ana Cristina Vieira de Melo
Resultado: Exibindo 10 de 21 na pagina 1 de 3
Nome
Título
Área
Documento
Unidade
Ano
Tree bark framework: competences and mindset rearrangements for Digital and Technology...
Uma técnica de verificação para `pi¦-calculus baseada em bi-simulação up-to e algoritmos...
Geração de propriedades sobre programas Java a partir de objetivos de teste
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes...
Um modelo para a estimação da dívida técnica baseado em produtividade
Um método para a implementação de regras de negócio à partir da semântica SBVR
Análise da modernização de sistemas monolíticos legados para micro-serviços à luz...
Teste e verificação formal do comportamento excepcional de programas Java
Classificação semi-automática de componentes Java
Geração parcial de código Java a partir de especificações formais Z
Resultado: Exibindo 10 de 21 na pagina 1 de 3
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. Todos os direitos reservados.