Condiciones Pre-condiciones o post-condiciones que deben cumplirse en operaciones Sintaxis context NombreTipo::NombreOperación(Param1 : Tipo1, ... ...
Condiciones Pre-condiciones o post-condiciones que deben cumplirse en operaciones Sintaxis context NombreTipo::NombreOperación(Param1 : Tipo1, ... ):TipoRetorno pre parametroOk: param1 < ... post resultadoOk : result > ... Ejemplo context Persona::nómina(fecha : Date) : Integer post: result > 650
Preguntas Generales
Esta pregunta también está en el material:
¿Sabes cómo responder a esa pregunta?
¡Crea una cuenta y ayuda a otros compartiendo tus conocimientos!
✏️ Responder
Para escribir su respuesta aquí, Ingresar o Crear una cuenta
Otros materiales
Preguntas de este disciplina
Invariantes: Condiciones o restricciones que deben cumplirse siempre. Ejemplo “El número de empleados debe ser mayor que 50” context Compañía inv: ...
Pesquisa Operacional I
Preguntas Generales
¿Cuáles son las condiciones que deben cumplirse para la elaboración de la lechada asfáltica y el microaglomerado en frío?
Engenharia Civil
Preguntas Generales
Compartir