Browsing Programa de Doctorat en Informàtica by Keyword "modelado del conocimiento"
Now showing items 1-1 of 1
-
Verification and Validation of Knowledge-Based Program Supervision Systems / Verificación y Validación de Sistemas de Supervisión de Programas Basados en el Conocimiento
Universitat Jaume I (1999-02-22)La supervisión de programas tiene como objetivo la automatización de las distintas actividades implicadas en la utilización especializada de una librería de programas. Para llevar a cabo esta tarea, los sistemas de supervisión ...