DOCX. Slides. Boas telas.

Com obstáculo.

Labirinto.

Algoritmo de inundação.

William Brepohl, para Monitor, Maratona, PET, Bolsa TCE??

3 Diferenciais: escolha do tamanho do tabuleiro, …

Demonstração. Software em modo texto.

Documento parece excelente.

Demonstração:

1. Resolve passo a passo ou não.
2. Criação do labirinto
3. Resolução com labirinto

Especificação (excelente) explicada.

Arguição:

• Todos participaram de tudo.

Não fizeram quase nada da Especificação Formal além do que o que eu já tinha feito.

Tiveram problemas. Grupo se reuniu após desmembramentos anteriores.

Interface extremamente simples comparada com a do trabalho (2).

Não conseguiram resolver o algoritmo.

Não fizeram quase nada da Especificação Formal além do que o que eu já tinha feito.

• Inicializa (bem simples!)
• ConfiguraTabuleiro (bem simples!)

• Rafael gostou da experiência do PI pois percebeu que já sabia algo.
• Software - demonstração - funciona um pouqinho
• Documento
  • O que fizeram a mais na EF?
    • Fizeram algo. Alguma sintaxe errada, mas vale a nota básica 7.

• Especifiação Formal
  • Estado não tão pequeno
    • Inicialização com vazios…
    • Funções não estão de acordo com o modelo, mas está OK.
    • ERRO:
      • na posição-alvo do tabuleiro está um indicador de alvo * valorAlvo? = -2 * Não parecem ter feito quase nada.