Ana Cristina Vieira de Melo
Resultado: Exibindo 10 de 21 na pagina 2 de 3
Nome
Título
Área
Documento
Unidade
Ano
Validação de padrões de web services transacionais
Programando com profuntores monoidais e semiarrows
Um framework para coordenação do tratamento de exceções em sistemas tolerantes a...
Um estudo sobre teste versus verificação formal de programas Java
Uso de redes bayesianas no gerenciamento de manutenção de software
Utilização de mineração de especificação na identificação de fluxos inválidos em...
Verificação de sistemas multi-agentes comportamentalistas através de simulações formalmente...
Geração automática de casos de testes para web services
Formalização de um modelo de transação financeira de startups usando Alloy
Classificação e busca de componentes com tratamento de exceções
Resultado: Exibindo 10 de 21 na pagina 2 de 3