Buscar
Mostrando ítems 1-10 de 75
Uma Solução para o Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos
(Instituto de MatemáticaPGCOMP - Programa de Pós-Graduação em Ciência da ComputaçãoUFBABrasil, 2016-05-05)
A revisão de modelos é uma técnica baseada na teoria de revisão de crenças, que tem como princípio modificar minimamente os modelos de forma a satisfazer uma dada propriedade. A revisão de modelos pode ser combinada com ...
Geração automática de casos de teste CSP orientada por propósitos
(Universidade Federal de Pernambuco, 2014)
Verificação de modelos para programas em um subconjunto de JCSP
(Universidade Federal de Pernambuco, 2014)
Evolução da reconstrução nasal: refinamento baseado nas subunidades estéticas
(2013-05-10)
A história da cirurgia plástica reparadora de nariz possui uma trajetória milenar e sua evolução tem sido documentada ao longo dos anos através da descrição de técnicas de transposição de retalhos cutâneos por diversos ...
Comparing Strategies for Improving Precision When Checking Safe Evolution of Software Product Lines
(Universidade Federal de Pernambuco, 2015)
A refinement based strategy for locally verifying networks of CSP processes
(Universidade Federal de Pernambuco, 2015)
Formalisation of SysML design models and an analysis strategy using refinement
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Uma abordagem para modelagem e verificação de protocolos síncronos de barramentos de comunicação
(Florianópolis, SC, 2012)
Qualidade do refinamento do método de Rietveld em amostras de soloQualidade do refinamento do método de Rietveld em amostras de solo
(UNIVERSIDADE ESTADUAL DE PONTA GROSSABRFisicaPrograma de Pós-Graduação em CiênciasUEPG, 2017)