Buscar
Mostrando ítems 21-30 de 350
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2015-03-09)
Event-B is a formal method for modeling and verification of discrete transition systems.
Event-B development yields proof obligations that must be verified (i.e. proved valid) in
order to keep the produced models consistent. ...
Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
(1997)
Esta dissertação apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o ...
A formally founded framework for dynamic software architectures
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2016-06-10)
Software architectures play a significant role in the development of software-intensive
systems in order to allow satisfying both functional and non-functional requirements. In
particular, dynamic software architectures ...
Implementing a programming language with a dependent type system
(Florianópolis, SC., 2022)
Aplicação do método B ao projeto formal de software embarcado
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2009-09-09)
This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This
method is based on the B method, which was developed ...
Verificação formal usando model checking para sistemas automotivos
(Universidade Tecnológica Federal do ParanáPonta GrossaBrasilDepartamento Acadêmico de InformáticaCiência da ComputaçãoUTFPR, 2019-11-12)
Computer systems become complex, either because of their number of tasks, resource contention and / or accuracy, and aid in the human routine, but most of these are not properly tested and are susceptible to failure, which ...
Prova automática de satisfatibilidade módulo teoria aplicada ao método B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-07-27)
Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
(Escola Politécnica /Instituto de Matemática.Programa de Pós-Graduação em MecatrônicaUFBABrasil, 2017-06-12)
Este trabalho apresenta um protocolo que torna o uso compartilhado de Ethernet eficiente para dar suporte aos sistemas de tempo real modernos. O protocolo foi especificado formalmente e sua correção foi atestada automaticamente ...