Now showing items 1-2 of 2

    • Object-oriented graph grammars 

      Ferreira, Ana Paula Ludtke (2005) [Thesis]
      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 ...
    • Uma proposta de controle neural adaptativo para o posicionamento de um braço mecânico 

      Ferreira, Ana Paula Ludtke (1996) [Dissertation]
      Inicialmente concebidos para operar em ambientes industriais fechados, os robôs vem se tornando cada vez mais difundidos na sociedade. Suas atribuições não se limitam mais exclusivamente a execução de simples tarefas de ...