| |
| Acadêmico(a): Fernanda Gums |
| Título: Verificador de Propriedades em Gramática de Grafos |
| |
| Resumo: |
| Este trabalho apresenta a especificação e a implementação do Java Verification Graph Grammar (JVGG) para a criação de uma gramática de grafos de forma interativa e a verificação da alcançabilidade, aplicabilidade e conflito, que são propriedades de gramáticas de grafos. Para tornar a criação da gramática interativa, fez-se necessária a utilização da biblioteca Java Graph (JGraph) e da biblioteca Java Graph Type (JGraphT). |
| |
|
