Browsing Computation by Author "Nascimento, Gleison Samuel do"
Now showing items 1-2 of 2
-
Identificação de nomes ativos em agentes-π baseada em tipos
Nascimento, Gleison Samuel do (2005) [Dissertation]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) [Thesis]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, ...