Projeto da cadeira de logica para computação do curso de ciência da computação, objetivando a implementação de um sistema de adoção de um Pet Shop a partir das especificações do cliente José Ivan (monitor da cadeira) dentro da plataforma de desenvolvimento Alloy.