Buscar

Mostrando ítems 1-10 de 100

Geração automática de hardware concorrente verificado

Silva, Luciano Alexandre de Farias (Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-07-26)

Mapeando CSP em UML-RT

Messias da Silva Menezes Junior, Manoel (Universidade Federal de Pernambuco, 2014)

Geração automática de casos de testes para máquinas de estados finitosAutomatic test case generation for finite state machines

Pedrosa, Lehilton Lelis Chaves, 1985- ([s.n.], 2010)

Interoperabilidade lógica via mapeamentos entre instituiçõesLogical interoperability via maps

Vizzotto, Juliana Kaizer (2008)

Identificação de nomes ativos em agentes-π baseada em tipos

Nascimento, Gleison Samuel do (2007)

Uma proposta de extensão para um protocolo para arquiteturas de alta disponibilidade

Hashimoto, Gilberto Tadayoshi (Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)

Teste de conformidade em contexto guiado por casos de teste do componenteComformance testing in context guided by component's test cases

Soares Junior, Jurandy Martins ([s.n.], 2006)

Joker: um realizador de desenhos animados para linguagens formais

Souza, Diego Henrique Oliveira de (Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-08-31)

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in ...

Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitasFormal verification of fair exchange protocols using the strand spaces method

Piva, Fabio Rogério, 1982- ([s.n.], 2009)

Definição e implementação do sistema de tipos da linguagem circus

de Almeida Xavier, Manuela (Universidade Federal de Pernambuco, 2014)

1
2
3
4
. . .
10