Outils pour utilisateurs

Outils du site


muc_2009_2010_lecture3

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
muc_2009_2010_lecture3 [2010/01/05 07:22] tiglimuc_2009_2010_lecture3 [2010/01/05 07:25] (Version actuelle) tigli
Ligne 41: Ligne 41:
  
 ===== Part 3 : Student Projects ===== ===== Part 3 : Student Projects =====
 +
 +Students must provide :
 +  * A Proved Bean Component (lustre checked code, corresponding C code generated, corresponding Bean code)
 +  * A sample WComp assembly to illustrate how this proved component works.
 +  * A document with all necessary explanations 
 +
 +Put all these files and documents on a web site and send them to JY Tigli before  february, the 1st, 2010.
 +
  
 Deadline : february, the 1st, 2010 Deadline : february, the 1st, 2010
muc_2009_2010_lecture3.txt · Dernière modification : 2010/01/05 07:25 de tigli