Problemas del drenaje
Especificación Formal Sistema Integral de Control de la Unidad de Extensión (SICUE)
Bitácora de Atención, Inscripciones
AUTOR:
Victoria Beatriz Tapia May Sergio Edgar Gómez Victoria
Contenido
1. DESCRIPCION DEL PROYECTO ...................................................................................................... 3 1.1. Descripción del proyecto SICUE ................................................................................................... 3 1.2. Descripción del módulo de Bitácora de Atenciones. ..................................................................... 3 1.3. Descripción del módulo de Administración de catálogo de …ver más…
............................................................................................................... 8 3. Especificación Formal........................................................................................................................... 9 3.1. Definiciones de Tipos Básicos ....................................................................................................... 9 3.2. Definiciones Axiomáticas .............................................................................................................. 9 3.3. Esquemas Principales ................................................................................................................... 10 3.4. Tabla de Casos de Éxito y Fracaso ............................................................................................... 16 3.5. Esquemas de Éxito y de Fracaso .................................................................................................. 17 3.6. Definiciones Completas ............................................................................................................... 21
1. DESCRIPCION DEL PROYECTO
1.1. Descripción del proyecto SICUE
Sistema Integral de Control de la Unidad de Extensión, SICUE por sus siglas, es un sistema web enfocado al auxilio en la administración de cursos y diplomados de la unidad de extensión presente en la facultad de matemáticas de la Universidad Autónoma de Yucatán. Entre las utilidades principales que proveerá el