Portal do Governo Brasileiro
s
Mostrando
1 - 11
resultados de
11
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Orientador(a):
Oliveira, Marcel Vinicius Medeiros
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Outro:
UFRN
E
Repositório Institucional da UFRN
Idioma:
Português
Mostrar filtros (5)
Orientador(a):
Oliveira, Marcel Vinicius Medeiros
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Outro:
UFRN
E
Repositório Institucional da UFRN
Idioma:
Português
Resultados da busca
Mostrando
1 - 11
resultados de
11
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
Especificação e verificação CSP de um sistema de intertravamento ferroviário baseado em relé
Por
Bezerra, Paulo Eneas Rolim
Publicado em 2023
Acessar documento
Dissertação
2
Um ambiente interativo de apoio ao ensino de lógica de programação nos cursos técnicos (EaD) do Instituto Metrópole Digital/UFRN
Por
Oliveira, Nelson Ion de
Publicado em 2017
Acessar documento
Dissertação
3
Geração automática de hardware concorrente verificado
Por
Silva, Luciano Alexandre de Farias
Publicado em 2022
Acessar documento
Dissertação
4
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
Por
Barrocas, Samuel Lincoln Magalhães
Publicado em 2018
Acessar documento
Tese
5
Joker: um realizador de desenhos animados para linguagens formais
Por
Souza, Diego Henrique Oliveira de
Publicado em 2011
Acessar documento
Dissertação
6
Estendendo CRefine para o suporte de táticas de refinamento
Por
Conserva Filho, Madiel de Souza
Publicado em 2011
Acessar documento
Dissertação
7
BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes
Por
Silva, Sarah Raquel da Rocha
Publicado em 2013
Acessar documento
Dissertação
8
An extension of a tool for the formal support for component-based development
Por
Pereira, Dalay Israel de Almeida
Publicado em 2017
Acessar documento
Dissertação
9
JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Por
Barrocas, Samuel Lincoln Magalhães
Publicado em 2011
Acessar documento
Dissertação
10
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução
Por
Medeiros Junior, Ivan Soares de
Publicado em 2012
Acessar documento
Dissertação
11
Local livelock analysis of component-based models
Por
Conserva Filho, Madiel de Souza
Publicado em 2016
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Norte (UFRN)
11
Bases coletadas
Repositório Institucional da UFRN
11
Programa de Pós-Graduação
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
6
Programa de Pós-Graduação em Sistemas e Computação
5
Autor
Barrocas, Samuel Lincoln Magalhães
2
Conserva Filho, Madiel de Souza
2
Bezerra, Paulo Eneas Rolim
1
Medeiros Junior, Ivan Soares de
1
Oliveira, Nelson Ion de
1
Pereira, Dalay Israel de Almeida
1
Mais ...
Silva, Luciano Alexandre de Farias
1
Silva, Sarah Raquel da Rocha
1
Souza, Diego Henrique Oliveira de
1
Ver todos ...
menos ...
Orientador(a)
Oliveira, Marcel Vinicius Medeiros
Tipo de documento
Dissertação
9
Tese
2
Tipo de acesso
openAccess
11
Idioma
Português
Assunto
CSP
4
Métodos formais
4
Circus
3
Computação
2
Animação
1
Análise local
1
Mais ...
Ausência de livelock
1
Automação
1
Deadlock
1
Desenvolvimento baseado em componentes
1
Educação a distância
1
Ensino de programação
1
Especificação formal
1
Extensão
1
Ferramenta
1
Ferramentas
1
Formal methods
1
Geração de código
1
Handel-C, Ferramentas, Geração de código
1
Interface Gráfica
1
JCSP
1
JCircus.
1
Java
1
Material didático
1
Métodos formais.
1
Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
1
Métoso formais
1
Railway interlocking systems
1
SMT
1
Sistemas baseados em componentes
1
Ver todos ...
menos ...
Assunto em inglês
Circus
2
Animation
1
Formal Methods.
1
Formal Methods. Component-Based Development. Competition. Model Checking
1
Formal Specifications
1
Formal methods
1
Mais ...
Graphical User Interface
1
JCSP
1
JCircus.
1
Java
1
Refinement tactics
1
Tools
1
Ver todos ...
menos ...
Área do conhecimento CNPq
SISTEMAS DE COMPUTACAO
Ano da publicação
De:
Até:
Carregando...