Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistralesicurezza:sss:progetto [12/10/2010 alle 09:22 (14 anni fa)] – Carlo Montangero
+++ magistralesicurezza:sss:progetto [07/10/2011 alle 08:45 (13 anni fa)] (versione attuale) – Carlo Montangero
@@ Linea 1: / Linea 1: @@
 =====  S3 - Progetto finale =====
-=== Testo e norme ===
+=== Testo  e norme ===
-Si trovano {{:magistralesicurezza:sss:requisiti.pdf|qui}}
+Il documento //aggiornato// si trova {{:magistralesicurezza:sss:requisiti_1_.pdf|qui}}.
 === FAQ ===
-== E' opportuno prevedere più sistemi SPARK? ==
+== C'è altro materiale didattico? ==
-Sì, almeno perché la parte di aggiornamento del codice di controllo non può aggiornare se stessa, per via della natura fortemente statica del linguaggio.
+Sì, una versione aggiornata (in inglese) di parte dei lucidi è disponibile
+[[http://correctnessbycconstruction.wikispaces.com/|qui]].
+Tutta la documentazione SPARK può essere scaricata da
+{{http://www2.adacore.com/wp-content/files/auto_update/sparkdocs-docs/index.html|qui}}, compreso il SImplifierManual, che è molto utile e ricco di esempi.
+== Il numero di appartamenti e termosifoni è fissato a priori? ==
+Sì, e conviene limitarsi a poche unità.
+== Conviene realizzare il codice per iterazioni? ==
+Sì. Dato che il concentratore deve agire ogni ora, conviene prima risolvere il problema del singolo passo, e in un secondo tempo introdurre il ciclo.
 == Come si crea una matrice di variabili di confine? ==