Differences

This shows you the differences between two versions of the page.

--- projeto_integrado_2012.1 [2012/11/12 17:00] – [Flavio Esplugues Sanches Calegari, Rafael Jose Guimaraes, Rodrigo Machado] adolfont
+++ projeto_integrado_2012.1 [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 52: / Line 52: @@
   * Documento
     * O que fizeram a mais na EF?
+      * Fizeram algo. Alguma sintaxe errada, mas vale a nota básica 7.
 ===== Bianca Moara Pivato Matt, Karina Baumgarten, Leticia Wapniarz Sartorelli =====
+  * Especifiação Formal
+    * Estado não tão pequeno
+      * Inicialização com vazios...
+      * variáveis
+      * complementou pré-condições
+      * Funções não estão de acordo com o modelo, mas está OK.
+        * Funções: são todas estão no programa
+      * ERRO:
+        * na posição-alvo do tabuleiro está um indicador de alvo
+        * valorAlvo? = -2
+Não parecem ter feito quase nada.
+===== Ricardo Heimoski, Vítor de Oliveira Tozzi =====
+  * Parece que a implementação está ao menos razoável e que ambos de fato fizeram algo.
+    * EF:
+      * Fizeram algo!
+      * Estado do sistema não tem ? e !
+      * Suficientemente bom. Mínimo 8.
+      * Já estão aprovados!? Mas só Vitor apresentou.
+===== ISRAEL ANDRÉ LAURENSI, RODOLPHO DE CASTRO A., THIAGO SANTOS DE MATOS =====
+  * Programa parece simples mas bom.
+  * ERRO: proximaPosicao! = ∀x∀y(∃z(menor(distancia(posica...
+  * Está errado, mas sabem que não sabem.
+  * 7 a 8.
+===== EDUARDO FOLLADOR, VINÍCIUS DE MORAES =====
+  * EF:
+    * parece boa
+    * alguns erros
+    * 7 a 8
+    * Não sabia fazer e não me procurou para perguntar.