Problemas del drenaje

686 palabras 3 páginas
METODOS FORMALES EN ESPECIFICACION Y DISEÑO DE SOFTWARE

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

Documentos relacionados

  • Drenaje vial
    6663 palabras | 27 páginas
  • Uso De Drenajes En El Cultivo Del Platano
    1306 palabras | 6 páginas
  • Relaciones de la tierra con su ámbito y efectos de las mismas
    3607 palabras | 15 páginas
  • Tipos de verdad
    642 palabras | 3 páginas
  • Drenes kirurjicos
    1580 palabras | 7 páginas
  • Limitaciones y potencial de los suelos en venezuela
    3532 palabras | 15 páginas
  • PAE ADULTO II UNLA
    6137 palabras | 25 páginas
  • Sistema Linfatico
    2690 palabras | 11 páginas
  • Guía de drenajes quirúrgicos
    4824 palabras | 20 páginas
  • Prueba de aptitud
    1334 palabras | 6 páginas