Buscar
Mostrando ítems 31-40 de 88
A bottom up approach for modeling business process using time Petri nets
(Pós-Graduação em Ciência da ComputaçãoUniversidade Federal de Sergipe (UFS), 2023)
Estendendo CRefine para o suporte de táticas de refinamento
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-10-07)
The use of increasingly complex software applications is demanding greater investment
in the development of such systems to ensure applications with better quality. Therefore,
new techniques are being used in Software ...
Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
(BrasilUFRNPrograma de pós-graduação em sistemas e computação, 2015-08-07)
The demand for secure and robust systems has made to grow the concern for developing
quality software. Software Testing and Formal Methods are two approaches that have this
purpose. In this context, several efforts are ...
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018-02-22)
The use of Automatic Code Generators for Formal Methods not only minimizes efforts
on the implementation of Software Systems, but also reduces the chance of existing errors
on the execution of such Systems. These tools, ...
Design e validação formal de sistemas de controle de voo fly-by-wire
(Universidade Federal de Pernambuco, 2014)
Uma exposição formal para a composição de frameworks
(Universidade Federal de Pernambuco, 2014)
Refactoring as formal refinements
(Universidade Federal de Pernambuco, 2014)
Queueing networks: solutions and applications
(BrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionais, 2016)