• Higher-order graph rewriting systems 

      Machado, Rodrigo (2012) [Tese]
      Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, ...
    • Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos 

      Pretz, Eduardo (2000) [Dissertação]
      Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de ...