X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2Foutline.txt;h=55cb826ce33af50f3ef36b9f7e15df33961a3940;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=138f3b719e393179591952321b0cdffe0c2538f6;hpb=ae138b9558f6d0f2904b906aa08e633f56114fa7;p=helm.git

diff --git a/helm/papers/calculemus-2003/outline.txt b/helm/papers/calculemus-2003/outline.txt
index 138f3b719..55cb826ce 100644
--- a/helm/papers/calculemus-2003/outline.txt
+++ b/helm/papers/calculemus-2003/outline.txt
@@ -14,23 +14,13 @@
   - attori (client, broker, tutor)
     - ruoli e funzionalita' di ognuno di essi (breve)
   - mapping con gli attori di monet
-3) Dettagli
-  3.1) codifica dello stato e dei suggerimenti
-    - oss: l'architettura e' generica non dipenda da una particolare codifica di
-      dimostrazioni
-    - interfaccia verso il broker
-  3.2) client
-    - proof assistant
-  3.3) broker
-    - registri
-    - interfaccia verso i client (registrazione, sottoscrizione, state change,
-      deregistrazione)
-    - interfaccia verso i tutor (registrazione, suggerimento, deregistrazione)
-  3.4) tutor
-    - cosa puo' implementare un tutor
-    - nessuna assunzione sulla correttezza del suggerimento
-    - interfaccia verso il broker (start/stop musing)
-    - thread (?)
+3) Zack
+  Dettagli Implementativi
+  - codifica dello stato
+  - codifica dei suggerimenti
+  - registry del broker
+  - implementazione dei ws
+  - implementazione dei tutor (gen. automatica, thread)
 4) CSC
    Sample session
   - screen shot
@@ -55,3 +45,4 @@
     - blackboard?
     - GUI
     - descrizione monet
+    - uso di Mathematical Object Manager