Buscar
Mostrando ítems 11-20 de 155
Addressing high dimensionality and lack of feature models in testing of software product lines
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(2022-02)
La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ...
Detecting logical errors in Haskell
(Universidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃOPrograma de Pós-Graduação em Ciência da ComputaçãoUFMG, 2021-02-19)
Compreender e utilizar o paradigma funcional é um desafio para diversos programadores. Procurar por erros lógicos em um código pode tomar muito tempo de um desenvolvedor quando o programa aumenta de tamanho.
Para facilitar ...
Practical JFSL verification using TACO
(Wiley, 2013-11)
Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we ...
DoHyPE: arquitetura de máquina de apresentação voltada à depuração de conteúdo hipermídia
(Universidade Federal de Juiz de Fora (UFJF)BrasilICE – Instituto de Ciências ExatasPrograma de Pós-graduação em Ciência da ComputaçãoUFJF, 2018)
Análise de ferramentas de automação de testes de software
(Universidade Federal de Santa MariaBrasilUFSMColégio Politécnico da UFSM, 2022-02-04)
With the advancement of information technology, the demand for the development of web systems is becoming even greater. Along with this, the search for the development of quality systems that satisfy the requirements ...