| Semana | Nome | Sumário |
|---|---|---|
| 9 | Linguagem Alloy | |
| Definição de temas para Artigo e Seminário | Por favor, editem diretamente o documento disponível no link. | |
| Arquivos Alloy | ||
| 13 | Descrição do Artigo a ser Entregue | |
| Indicar disponibilidade de horarios para apresentação dos seminários. | Vamos precisar de pelo menos três período para apresentações. | |
| Descrição do Seminário a ser Apresentado | ||
Especificação formal de software
