• 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 ...
    • Modelagem e simulação de algoritmos paralelos baseados em operações com DNA 

      Cervo, Leonardo Vieira (2002) [Dissertação]
      A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação ...
    • Object-oriented graph grammars 

      Ferreira, Ana Paula Ludtke (2005) [Tese]
      Esta tese apresenta um modelo conceitual para modelagem e vericação de espe- cificações de sistemas orientados a objeto. Mais especificiamente, uma extensão da abordagem algébrica baseada em single-pushouts para gramáticas ...
    • Occurrence graph grammars with negative application conditions 

      Bezerra, Jonas Santos (2019) [Dissertação]
      Graph Grammars are based on the application of rules that are able to modify graphs, as such, they provide a suitable formalism to model complex systems in an intuitive and precise manner, providing both a graphical language ...