Integrantes: Aramis Sales Araujo, Jhonatan Batista da Silva, Lucas Henrique de Lima e Silva, Ruan Roberto Eloy Silveira
Uma livraria deseja implementar em sua loja um sistema para a nova forma de entrega a domicílio, a entrega feita por drones. O sistema consiste em um armazém de livros, de drones, clientes, pedidos e livros. O armazém possui apenas 3 drones e cada drone consegue suportar no máximo 3 livros, e como consequência, os clientes só podem comprar 3 livros por vez, a não ser que o cliente possua convênio com a loja, daí nesse caso há dois drones especiais que suporta até 5 livros. Nem sempre livros estarão disponíveis na loja, então nesse caso os drones permanecem no armazém. Os pedidos são feitos pelos clientes, e são recebidos pelo armazém que possui os drones que farão as entregas. Os clientes não podem fazer pedidos caso haja algum drone fazendo uma entrega à sua casa. Ao sair do armazém, o drone leva a compra até o cliente e retorna ao armazém, ou seja, nenhum drone fará entregas diferentes antes de voltar ao armazém.
Definição de 5 assinaturas, com pelo menos uma herança (extends ou in)
Definição de 3 predicados e 3 funções
Definição e verificação de 3 asserts (testes sobre o sistema)
Definição de 5 operações que simulam o comportamento temporal do sistema