|
Acadêmico(a): Fernanda Gums |
Título: Verificador de Propriedades em Gramática de Grafos |
|
Abstract: |
This work presents the specification and implementation of Java Verification Graph Grammar (JVGG) to create a graph grammar of the form interactive and verification reachability, applicability and potential conflict, which are properties of graph grammar. To make the creation of interactive grammar, it was necessary to use the Java Graph library (JGraph) and Java Graph library Type (JGraphT). |
|
|