conjunto explícito de requisitos