Contratos

Contratos

Contrato CONT01: Ingresar Usuario

Operaciones: IngresarUsuario (Usuario: varchar)

Referencias: Caso de Uso Identificación y Autenticación de Usuario

Precondiciones: En la base de datos del sistema debe existir usuario del médico que desea ingresar al sistema

Poscondiciones: Accede al sistema para empezar a usarlo

Contrato CONT02: Ingresar Contraseña

Operaciones: Ingresar Contraseña (contraseña: varchar)

Referencias: Logueo

Precondiciones: En la base de datos del sistema debe existir contraseña del médico que desea ingresar al sistema

Poscondiciones: Accede al sistema para empezar a usarlo

Contrato CONT03: Cargar Historia Clínica

Operación: CargarHistoriaClinica (idHC: integer)

Referencias: Caso de Uso Cargar Historia Clínica

Precondiciones: El médico ya debe haber ingresado al sistema

                             El paciente ya este registrado en el sistema

                La historia clínica ya este registrado en el sistema

Poscondiciones: Se crea instancia de Historio clínica

                Se asocia idHC con dieta

                Se asocia dieta con tipo de dieta

                Se asocia dieta con rutina

Contrato CONT04: Ingresar Información del Paciente

Operación: IngresarInformacionDelPaciente (idPaciente: integer)

Referencias: Caso de Uso Cargar Historia Clínica

Precondiciones: El médico ya debe haber ingresado al sistema

                El paciente ya este registrado en el sistema

                La historia clínica ya este registrado en el sistema

Poscondiciones: que se actualice la historia clínica

Contrato CONT05: Buscar Paciente

Operación: BuscarPaciente (idPaciente: integer)

Referencias: Caso de Uso Seguimiento del paciente

Precondiciones: El médico ya debe haber ingresado al sistema

                El paciente ya este registrado en el sistema

                La historia clínica ya este registrado en el sistema

Poscondiciones: El sistema encuentra al paciente buscado