|
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). |
|
|