Especificação Formal em foco!

Após primeira entrega do Diagrama de Fluxo de Dados (DFD), parte orientada na disciplina de TGS, chegou a hora de focar a especificação formal, na disciplina de Lógica para Computação.

Nova alteração no grupo, formação atual:
Diego Sikora, Guilherme Marinasco, Márcio, Lucas Pimentel