Especificación Formal y Cálculo de Cohesión de los Métodos Seleccionados

Nota: debido a la inconsistencia encontrada en los resultados de cohesión para procedimientos con una única salida, se redefinió componente aislado de la siguiente forma: "un componente es aislado si, habiendo más de una salida, sólo tiene una relación de dependencia con una de ellas". Realizamos los cálculos de acuerdo a esta nueva definición.

RELOJ : : temporizar
CONTROL_ESTADO_TOLVA : : controlar_estado_tolva
RELOJ : : agregar_temporizador
CONTROL_RINDE/VELOCIDAD : : controlar_rinde
REGISTRADOR_OPERACIONES : : guardar_op CONTROL_HUMEDAD : : controlar_humedad

GESTOR_INTERACTIVO : : procesar_ult_ent

 

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