Buscar
Mostrando ítems 1-10 de 779
Mapeando CSP em UML-RT
(Universidade Federal de Pernambuco, 2014)
As cabeceiras das pontes segundo seus padrões formais: o caso do centro da cidade do Recife/Brasil, do século XVII ao XX
(Universidade Federal de Pernambuco, 2014)
Definição e implementação do sistema de tipos da linguagem circus
(Universidade Federal de Pernambuco, 2014)
Transformando modelos Scade em especificações SCR
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
Geração automática de hardware concorrente verificado
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-07-26)
Migração de um simulador de protocolos para o ambiente Linux/x86 e um estudo de caso: especificação, verificação de simulação formais do protocolo RTSP
(Universidade Federal do Rio de JaneiroBrasilEscola PolitécnicaUFRJ, 2019)
Indicadores de alfabetização científica: um estudo em espaços não formais da cidade de Toledo - PR.
(Universidade Tecnológica Federal do Paraná (UTFPR), 2017)
Joker: um realizador de desenhos animados para linguagens formais
(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 ...
A rigorous methodology for developing GUI-based DSL formal tools
(Universidade Federal de Pernambuco, 2015)