Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Program specifications"
Now showing items 1-1 of 1
-
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, ...