Buscar
Mostrando ítems 1-10 de 68
NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural
(Universidade Federal de Pernambuco, 2014)
Verificando a corretude de geradores automáticos de código
(Universidade Federal de Pernambuco, 2014)
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-04-27)
Geração de casos de teste a partir de especificações B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2010-03-29)
With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization ...
Transformando modelos Scade em especificações SCR
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
Modelling and Integrating Formal Models: from Test Cases and Requirements Models
(Universidade Federal de Pernambuco, 2014)
Modelagem e análise de especificações de sistemas de tempo-real críticos com restrições de energia
(Universidade Federal de Pernambuco, 2014)
Definição e implementação do sistema de tipos da linguagem circus
(Universidade Federal de Pernambuco, 2014)