Rapport semestriel 2006

Réunion de MAO


A. L'auteur a participé environ deux fois par semaine
aux entretiens informels du projet. Ces entretiens
n'ont pas été publiés d'une manière immédiatement accessible
au public.

B. L'auteur a assisté MAO dans l'installation d'un serveur
   de type << wiki >> (serveur de publication internet
   coopératif) pour le développement coopératif de CoqWeb.
   Ce serveur est immédiatement accessible au public.

C. Les réunions urgentes ont été très peu nombreuses.


Responsabilités de liaison

A. Discussion ouverte. L'auteur s'est arrangé pour déjeuner
   le plus souvent possible avec les parties intéressées à MAO.

B. Rapports de liaison. Dans son activité de soutien au groupe,
   l'auteur a assumé sa responsabilité :
      1. de l'établissement et du maintien du contact verbal;
      2. du maintien du contact écrit (Network);
      3. de la rédaction progressive des éléments de programme
      nécessaires.


Activités

A. Réalisation d'un micro wiki rudimentaire et robuste écrit
   en langage C.

B. Notes techniques sur l'implantation de WIMS, rédigées à 
   l'aide du mini wiki précédent.

C. Rapport sur l'adéquation du cours aux travaux-pratiques 
   de Licence première année (L1).

D. Réalisation d'un micro CMS (Système de publication de document
   sur un internet --- Content Management System) destiné à prendre
   en charge la gestion précédente (langage Python).

E. Réalisation d'un  démon (UCPS) facilitant le service de CoqWeb.

F. Re-engineering du module CROQ de Loic Pottier et Joachim Yameogo.

G. Protocole de communication WIMS-CoqWeb.


Projets

A. Couplage du wiki des annales d'exercices à un CMS pourvu d'un éditeur
   acceptable.

B. Développement de ce système sur le cours et les travaux pratiques
   d'analyse de L1.


Appointements

A. L'auteur ne recoit aucun appointement spécifique.

B. Les déplacements de liaison l'auteur se font pour l'instant à ses frais.