Buscar
Mostrando ítems 1-10 de 161
NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural
(Universidade Federal de Pernambuco, 2014)
SpecNL : uma ferramenta para gerar descrições em linguagem natural a partir de especificações de casos de teste
(Universidade Federal de Pernambuco, 2014)
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 ...
Verificando a corretude de geradores automáticos de código
(Universidade Federal de Pernambuco, 2014)
Bula de software representada por mapas conceituais
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilPrograma de Pós-Graduação em InformáticaUTFPR, 2018-01-10)
This dissertation presents a proposal for a package insert for software, which allows to capture information related to the characteristics and functionalities of a certain software, following a predefined structure. The ...
Uma proposta de bula para software
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilPrograma de Pós-Graduação em InformáticaUTFPR, 2015-03-27)
This research proposes a package insert for software that makes it possible to gather information related to the functional and non-functional requirements of a particular software, following a pre-defined structure. The ...
Geração automática de Diagramas UML-RT a partir de Especificações CSP
(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 mecanizada de abstrações seguras para especificações CSP
(Universidade Federal de Pernambuco, 2014)
Doce de leite branco de Afrânio : diagnóstico do cenário e proposta do caderno de especificações técnicas para a indicação geográfica
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pós-Graduação Profissional em Propriedade Intelectual e Transferência de Tecnologia para Inovação, 2020)