• Título:  MODELIZACION DE UN SISTEMA OPERATIVO MULTIPROPOSITO: ESPECIFICACION FORMAL EN ESTELLE.
• Autor:  GONZÁLEZ ALONSO, OLIVERIO
• Universidad:  Universidad de Oviedo
• Fecha de Lectura:  01/01/1993
• Programa de doctorado:  DESCONOCIDO
• Dirección: 
  • GARCIA GARCIA VICTOR GUILLERMO (DIRECTOR)
• Tribunal: 
  • VINYES I SANZ, JOAN (PRESIDENTE)
  • RAMOS MONTERO, RICARDO (SECRETARIO)
  • OJEA MERIN, GUILLERMO (VOCAL)
  • CORRALES GONZALEZ, JOSÉ ANTONIO (VOCAL)
  • VAZQUEZ GALLO, ENRIQUE (VOCAL)
• Descriptores: 
  • MATEMATICAS
  • CIENCIA DE LOS ORDENADORES
  • TECNOLOGIA DE LOS ORDENADORES
  • CIENCIAS TECNOLOGICAS
  • SOFTWARE
• Resumen:
  SE PRETENDE APLICAR UNA TECNICA DE DESCRIPCION FORMAL (FDT) A LA MODELIZACION DE UN SISTEMA OPERATIVO, DEMOSTRANDO QUE ES POSIBLE Y QUE SERIA CONVENIENTE SU UTILIZACION EN LA DEFINICION DE ALGORITMOS DE PLANIFICACION DEL PROCESADOR, DE MEMORIA PRINCIPAL, SUBSISTEMAS DE E/S Y DEMAS RECURSOS DEL ORDENADOR. DICHA CONVENIENCIA NO SERIA SOLO POR LA FORMALIZACION DE LA POLITICA EN SI, SINO TAMBIEN POR LA FACILIDAD QUE LA FDT DA PARA SU SIMULACION Y POSTERIOR IMPLEMENTACION, PERMITIENDO TODO ELLO LA COMPARACION DE DIFERENTES ALGORITMOS DE GESTION DE UN MISMO RECURSO Y LA LOGICA ELECCION DEL MAS ADECUADO.