Navegando por Orientador Matos, Simone Nasser
Mostrando resultados 46 a 48 de 48
< Anterior
| Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
|---|---|---|---|---|
| Ponta Grossa | Ciência da Computação | 29-Mai-2015 | Uso da lógica paraconsistente bivalorada no tratamento de respostas de usuário em um sistema especialista | Tybuchewsky, Rafaele de Melo |
| Ponta Grossa | Tecnologia em Análise e Desenvolvimento de Sistemas | 17-Nov-2010 | Uso do processo dirigido a responsabilidades no desenvolvimento da arquitetura e modelagem do framework de preço de venda | Capeller, Paulo Eduardo Boeira; Andrade, Vinícius Camargo |
| Ponta Grossa | Ciência da Computação | 12-Nov-2019 | Verificação formal usando model checking para sistemas automotivos | Silva, Renan Francisco Macarroni da |