Ejercicios de Especificación: precondiciones y postcondiciones

8 ejercicios de Especificación: precondiciones y postcondiciones que han salido en los exámenes de Prácticas de programación de la UOC…

Pregunta 1.a · 2023

Pregunta 1.a: Redactar formalmente las precondiciones que debe satisfacer la rutina available_people_city (la plantilla no está vacía y cada miembro tiene al menos un intervalo de disponibilidad registrado) acompañada de una breve justificación explicativa (1 o 2 líneas).

Pregunta 1.a - Especificación: precondiciones y p… · 2023

Detallar las precondiciones formales de la función staff_birthdays y su justificación de 1 o 2 líneas, asumiendo que al menos un miembro del equipo cumple años en dicha fecha.

Pregunta 1.a · 2023

Pregunta 1.a: Formular en lógica de predicados la precondición de la acción delete_person_project asumiendo al menos una campaña registrada y sin duplicidades de personas en la misma campaña, añadiendo una breve justificación.

Pregunta 1.a · 2021

Detalla razonadamente en una o dos frases la precondición matemática o lógica requerida para first_partner, partiendo de la premisa de que la compañía alberga un mínimo de un asociado, un espacio físico y una vinculación contractual dada de alta.

Pregunta 1.a · 2021

Pregunta 1.a: Indicar y justificar formalmente las precondiciones de la función top_clients considerando que la empresa dispone como mínimo de un socio y que x > 0.

Pregunta 1.a · 2021

Detalla las precondiciones pertinentes para la función useless_workspaces, teniendo en cuenta que la entidad dispone como mínimo de un espacio dado de alta. Acompaña la respuesta con una justificación concisa.

Pregunta 1.a · Juny 2020

Especificar las precondiciones formales que requiere la función winners_round, asumiendo que la ronda indicada por num existe.

Pregunta 1.a - Especificación de precondiciones · Juny 2020

Especificar las precondiciones formales asociadas a la función level_loosers, asumiendo que el campeonato cuenta como mínimo con una ronda disputada y que cada contrincante figura debidamente registrado en el torneo.

Otros temas de Prácticas de programación