ocaml 3.09 transition

[helm.git] / helm / papers / calculemus-2003 / outline.txt

diff --git a/helm/papers/calculemus-2003/outline.txt b/helm/papers/calculemus-2003/outline.txt
index 138f3b719e393179591952321b0cdffe0c2538f6..55cb826ce33af50f3ef36b9f7e15df33961a3940 100644 (file)
--- 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