Browsing by Subject "Metodos formais"
Now showing items 1-6 of 6
-
Calculus semantic with values passing in the denotational approach
(2020) [Dissertation]In the last recent years, there was a noticeable increase in the use of formal verification by the industry, and the reason for that is because the formal languages are each time more enhanced, and the tools that support ... -
Especificação e análise de sistemas através de gramática de grafos
(2016) [Dissertation]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) [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 ... -
Interoperabilidade lógica via mapeamentos entre instituições
(2001) [Dissertation]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) [Dissertation]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) [Thesis]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 ...