Especificación en Z de controlar_humedad

HUMEDAD == N

REGULADOR_HUMEDAD ::= on | off

®controlar_humedad: HUMEDAD x HUMEDAD f REGULADOR_HUMEDAD
Ç_______________
®A hact, hopt: HUMEDAD ¥
®controlar_humedad(hact, hopt) = if hact > hopt then on else off

GDES

Cálculo DFC

 

DFC

Aislados = {}
Esenciales = {hact, hopt}

Chact = Chopt = CERH = 1

LC = TC = MC = 1

 

Requerimientos Descripción Informal de Diseño Cambios Posibles Subconjuntos e Incrementos Mínimos Guía de Módulos
Estructura de Módulos Estructura de Uso Estructura de Procesos Relación HEREDA_DE Descripción 2MIL
Especificación Formal y Cohesión
Guía de Modificaciones Realizadas