El problema de la planificación de horarios es una tarea compleja que es realizada por varias instituciones en todo el mundo, que generalmente se aborda como un problema de optimización donde cada enfoque considera las restricciones particulares de cada institución bajo consideración. En este documento, describimos, modelamos y proponemos una solución al problema de la planificación de horarios en la División Académica de Ciencias y Tecnologías de la Información de la Universidad Juárez Autónoma de Tabasco (UJAT), México. Modelamos las restricciones específicas de esta instancia del problema utilizando el Lenguaje de Restricciones de Objetos (OCL) del Lenguaje Unificado de Modelado (UML), y validamos el modelo utilizando la herramienta de vanguardia USE: Entorno de Especificación Basado en UML. La estrategia de solución aborda el problema en dos etapas: (1) ACA: asignaciones académicas, es decir, asignar clases a profesores y (2) TTP: el proceso de planificación de horarios. Desarrollamos una personalización de Búsqueda Tabú llamada Búsqueda Tabú con Criterio de Aspiración Probabilística (TS-PAC) para resolver el problema de la planificación de horarios, y desarrollamos un prototipo de software para probar nuestra propuesta. Se obtuvieron dos horarios factibles para dos semestres diferentes de acuerdo con las restricciones modeladas.