Navegação Computação por Autor "Nascimento, Gleison Samuel do"
Resultados 1-2 de 2
-
Identificação de nomes ativos em agentes-π baseada em tipos
Nascimento, Gleison Samuel do (2005) [Dissertação]Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente ... -
Um método para descoberta semi-automática de processos de negócio codificados em sistemas legados
Nascimento, Gleison Samuel do (2014) [Tese]Há mais de uma década, BPM vem sendo introduzida nas organizações devido suas vantagens tais como documentação, gerenciamento, monitoração e melhoria contínua de seus processos de negócio. Na abordagem BPM, normalmente, ...