Melo, Ana Cristina Vieira de
Resultado: Exibindo 10 de 24 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...
Integração de verificadores formais para agentes móveis
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
Resultado: Exibindo 10 de 24 na pagina 1 de 3