Browsing Tesis de Doctorado en Ciencias de la Computación by Title
Now showing items 25-27 of 27
-
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
(2015-05)Es ampliamente aceptado que los errores son más fáciles (y menos costosos) de corregir si se capturan lo más temprano posible en el proceso de desarrollo. Luego, obtener una especificación de requisitos de buena calidad, ... -
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, ... -
Técnicas de optimización para el proceso de grounding en planning clásico
(2020-05)La planificación automática, o simplemente Planning es una de las áreas más antiguas y centrales dentro de la Inteligencia Artificial. En ella, se estudia la generación automática de acciones por parte de agentes inteligentes ...