Open AccessVisualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI
Author(s) -
Arthur L. Fuchs,
Rodrigo Machado,
Leila Ribeiro
Publication year - 2021
Language(s) - Portuguese
Resource type - Conference proceedings
DOI - 10.5753/weit.2021.18936
Subject(s) - computer science , physics
Verigraph-GUI é um editor gráfico desenvolvido para a ferramenta Verigraph, uma ferramenta de transformação de grafos. Esse trabalho relata sobre a construção de uma GUI para o módulo de verificação de modelos da ferramenta Verigraph, assim como extensões e outras melhorias planejadas.