2002-2003

 

 

Remarque :

L'ensemble des documents sont mis a disposition de tous dans l'état et sans garantie.

Il reste des coquilles plus ou moins graves.

Je reste à votre disposition pour toute information complémentaire.

Vous pouvez me contacter à l'adresse suivante pour toute question, mon adresse.

 

IUT de vélizy 2002-2003

Présentation:

Dans le cadre du DUT "", Mme Nicole Levy est en charge de l'UV "génie Logiciel"

Contenue de l'UV:

                Spécification au travers de la notation UML.

                Passage d'un modèle semi-formel UML vers un modèle formel B.

Description de l'UV:

                L'UV se déroule sur un semestre:

Cours magistraux (2h par semaine)

                        TD (1h15 par semaine)

                        TP (2h par semaine) avec l'atelier B v 3.5

 

ANGERS 2002-2003

Présentation:

Le module "Méthode formelle" du DESS QUASSI d'ANGER

, pour l'année 2002-2003 a été réalisé par moi-même. La promotion 2002-2003 du DESS QUASSI est composée de 23 étudiants.

 

Il fait au total 20h qui ont été répartit comme suit:

*   8h de cours.

*   4h de TD

*   8h e TD/TP sur machine LINUX avec l'atelier B.

 

Ce module est complété par

*   un TP libre d’environ 4h en groupe

*   et 1h30 d'examen

 

Les TD/TP nous on permis une bonne prise en main de le méthode B et de l’atelier B  v3.5 de ClearSy.

Supports

*           Les cours

 

 

HTML

PS

PDF

Cours 1

-

COURS1.PS

COURS1.PDF

Cours 2

-

COURS2.PS

COURS2.PDF

Cours 3

-

COURS3.PS

COURS3.PDF

Cours 4

-

COURS4.PS

COURS4.PDF

Cours 5

-

COURS5.PS

-

 

 

*           Les TDs

 

 

HTML

PS

PDF

TD1

 

TD1.ps

TD1.pdf

TD2

 

TD2.ps

TD2.pdf

TD3

 

TD3.ps

 

TD4

 

TD4.ps

 

TD5

 TD5.htm

 

 

 

*           Les TPs

Le premier TP existe en deux versions ps ou pdf.

 

*           L’examen

                        A venir

 

Retour au début

 

UTC 2002-2003 :

LO08

Présentation :

Le module "Génie Logiciel" (UV LO08)  de l’UTC

 (Université de Technologie de Compiègne), pour l'année 2002-2003 est géré par Mr Walter SCHON et moi-même. Pour cette année l'UV compte 100 inscrits.

Contenue de l'UV:

        L'UV présente:

v     La problématique du développement logiciel

v     Les principes du génie logiciel

v     La notation UML avec un regard précis sur les statecharts

v     Les méthodes formelles au travers de l'étude de la méthode B

v     Les techniques de tests

 

Il fait au total 100h qui ont été répartit comme suit:

*   40h de cours.

*   40h de TD

*   20h de TP sur machine UNIX avec utilisation de l'outil Statemate et de l'atelier B.

 

Ce module est complété par

*   un TP libre d’environ 10h en groupe de 3 personnes qui modélise en UML la gestion d'un jeu de billard

*   et 2h d'examen (1h sur UML et 1h sur B)

 

L'aspect B se résume a

*   6h de cours.

*   8h de TD

*   2h de TP sur machine UNIX avec utilisation de l'atelier B v 3.6.

 

Support

*           Les cours sont disponibles sur demande.

 

NF01

Présentation :

Le module " Introduction à l'informatique" (UV NF01)  de l’UTC

 (Université de Technologie de Compiègne), pour l'année 2002-2003 est géré par Mr Dominique Lenne et j'y interviens comme responsable de TD. Pour cette année l'UV compte 100 inscrits.

Contenue de l'UV:

Initiation à la programmation au travers de l'étude du langage PASCAL.

Introduction à l'algorithmique

Description de l'UV:

                L'UV se déroule sur un semestre:

Cours magistraux (2h par semaine)

                        TD (2h par semaine)

                        TP (2h par semaine)

 

 

Retour au début

 

 

 

Copyright Boulanger Jean-Louis 2001-2004

Dernières modifications le : 15 août 2004