Navegação por Assunto "Metodos formais"
Resultados 1-5 de 5
-
Especificação e análise de sistemas através de gramática de grafos
(2016) [Dissertação]O crescimento da complexidade e do tamanho dos sistemas computacionais atuais suscitou um aumento na dificuldade de extração e especificação de modelos formais desses sistemas, tornando essa atividade cada vez mais ... -
Identificação de nomes ativos em agentes-π baseada em tipos
(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 ... -
Interoperabilidade lógica via mapeamentos entre instituições
(2001) [Dissertação]A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de ... -
Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
(2000) [Dissertação]Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de ... -
Relational approach of graph grammars
(2010) [Tese]Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento ...