Cours: PRJ09 - Vérificateur syntaxique d'algorithmique

	Vérificateur syntaxique de sources algorithmiques Ce projet est proposé comme TIPE de la section AS-TS 2007. Il consiste en l'écriture et la mise au point d'un vérificateur syntaxique, activable en ligne pour vérifier l'écriture des fichiers algorithmiques selon la syntaxe EISTI. Ce projet aboutira à la mise en oeuvre en Java (intégrable Moodle) du vérificateur, produisant un rapport d'erreur à l'émetteur d'un code source algorithmique. Forum des nouvelles

1	Introduction 1 - Contexte Ressource 2 - Décomposition du projet Ressource 3 - Description du programme Ressource

2	Analyse 1 - Architecture des sources algorithmiques Ressource 2 - Considérations syntaxiques sur les opérations Ressource 3 - Axiomes et préconditions Ressource 4 - Syntaxe des corps d'implémentation Ressource

3	Spécifications

4	Documentations Cours sur les types abstraits fichier Lien : les types abstraits Ressource

5	Implémentations Avancement du projet archive ZIP

6

7	Ressources annexes

8

9

10