- Caio Cesar Vieira Cavalcanti
- João Lucas Gomes Brandão
- João Pedro Azevedo do Nascimento
- Valdemar Victor Leite Carvalho
- Vinícius de Oliveira Porto
- Walber Wesley Félix de Araújo Filho
A UFCG vai implantar um sistema de reserva dos laboratórios LCC1 e LCC2 semanalmente.
As reservas só podem ser feitas com duração de duas horas por dia. O quatro horários possíveis:
8h-10h, 10h-12h, 14h-16h,16h-18h (nos 5 dias úteis da semana). Se o professor reservar, é que tem uma disciplina associada, com dois horários semanais.
Existe uma lista de espera por horário e por sala. Em nenhum momento a lista de espera tem um horário de disciplina enquanto outro horário sem disciplina está usando a sala. Um pedido da lista de espera para um dos LCCs pode ser contemplado em outro LCC se houver horário disponível.
É obrigatório o uso de asserts para verificação de propriedades acerca da especificação.