Navegação TCC Ciência da Computação por Assunto "Behavior model extraction"
Resultados 1-1 de 1
-
Extração e verificação de modelos para sistemas em evolução
(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 ...