Navegação Ciências Exatas e da Terra por Assunto "Gramatica : Grafos"

Resultados 1-3 de 3

    • Complexity analysis of reactive graph grammars 

      Loreto, Aline Brum; Toscani, Laira Vieira; Ribeiro, Leila (2000) [Artigo de periódico]
      The aim of this paper is to present a way to calculate a complexity measurement of graph grammar specifications of reactive systems. The basic operation that describe the behavior of a graph grammar is a rule application. ...

    • Formal specification and verification of real-time systems usinggraph grammars 

      Michelon, Leonardo; Costa, Simone Andre da; Ribeiro, Leila (2007) [Artigo de periódico]
      The importance of real-time systems has enormously increased in the last decade. Application areas that typically need real-time models include railroad systems, intelligent vehicle highway systems, avionics, multimedia ...

    • Introdução a métodos formais : especificação, semântica e verificação de sistemas concorrentes 

      Déharbe, David; Moreira, Anamaria Martins; Ribeiro, Leila; Rodrigues, Vanderlei Moraes (2000) [Artigo de periódico]
      Este tutorial apresenta uma visão geral de metodos formais para a especificação, semântica e verificação de sistemas concorrentes. Um mêtodo de especificação for- mal dá uma descrição precisa de um sistema em uma notação ...