• Especificação e análise de sistemas através de gramática de grafos 

      Oliveira Junior, Marcos Antonio de (2016) [Dissertação]
      O crescimento da complexidade e do tamanho dos sistemas computacionais atuais suscitou um aumento na dificuldade de extração e especificação de modelos formais desses sistemas, tornando essa atividade cada vez mais ...
    • Formalização de uma linguagem visual para descrição de sistemas biológicos 

      Medrado, Ramon Gomes (2009) [Dissertação]
      Vias biológicas representam interações entre entidades químicas complexas (proteínas, substratos, metabólitos etc.) que ocorrem no nível molecular das células. A representação e compreensão do comportamento destas vias é ...
    • Module integration using graph grammars (MIGRATE) 

      Cravo, Diogo Raphael (2021) [Dissertação]
      Software, be it desktop, mobile or web, is becoming more and more connected. Software development is also becoming more connected with ecosystems comprised of networks of millions of packages. Engineering software today ...
    • Relational approach of graph grammars 

      Cavalheiro, Simone André da Costa (2010) [Tese]
      Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento ...