• Extração e verificação de modelos para sistemas em evolução 

      Freire, Matheus de Mello (2013) [Trabalho de conclusão de graduação]
      Softwares estão sempre em constante evolução e atualização. Durante o ciclo de vida de um sistema, muitas modificações ocorrem, em relação às funcionalidades definidas em sua primeira especificação. É desejável que durante ...