Génie logiciel avancé

• Organisation générale
• Calendrier et polycopies
• Projet: à rendre le 28 mai avant 16h.
• Liens

Évaluation (cf. MCC) : La note finale en 1ere session est calculée comme 0,5*CC + 0,5*Ex ou Ex est la note de l'examen et CC est la note pour le contrôle continu (projet). En deuxième session, la note est celle de l'examen.

semaine	date	cours	date	td
1	30/01	Introduction (YRG) slides		Pas de TD
2	5/02	Spécification de charges (YRG) slides	4-5/02	Exercices, projet
3	12/02	Spécification de systèmes à objets (YRG) slides	11-12/02	Exercices, lecture
4	19/02	Spécification formelle: ADT (MS) slides	18-19/02	Exercices ADT
5	26/02	Spécification formelle: B (MS) slides	25-26/02	cont. TD 3, compilation des ADT
6	5/03	Spécification formelle: B cont. (MS)	4-5/03	Exercices B
7	12/03	Conception: architecture (YRG)	11-12/03	Specification d'interfaces (ADT) avec B (corr. DATE)
8	19/03	Developpement: programmation par composants (YRG)	18-19/03	Spécification de MLD des BD avec B (corr. SOURCE, ARTICLE, DB)
9	26/03	Developpement: programmation par composants (YRG)	25-26/03	Spécification de comportements avec B (corr. ATM)
10	2/04	Developpement: programmation par contract (YRG)	1-2/04	Patrons de conception (exercices)
11	9/04	Validation et vérification: test (MS) slides	8-9/04	Patrons de conception (exercices)
12	16/04	Validation et vérification: inspection (MS)	15-16/04	Test (exercices)

Le projet consiste à réaliser un cahier de charges, une spécification formelle, le design, une partie du dévelopement et le plan de test pour un des sujets ci-dessous:

• Distributeur de billets (ATM):
  • draft du cahier de charges (version 11/02),
  • draft de la spécification (version 24/02),
  • questions/reponses.
• Emploi du temps (EDT):
  • draft du cahier de charges (version 11/02),
• Gestion d'articles électroniques (LIBSYS):
  • draft du cahier de charges (version 24/02),
  • draft de la spécification (version 24/02),

Le travail doit être effectué en groupes de 3 ou 4 étudiants. Il consiste à rendre (avant le 28 mai à 16h):

• un cahier de charges complet et consistent avec toutes les charges spécifiées à l'aide de diagrammes UML ou des fiches, amélioré selon les commentaires faites sur le premier rendu.
• une spécification complète du système en utilisant les méthodes de spécifications vues en cours,
• un document avec l'architecture detaillée du produit,
• un plan de test et des suites de test d'acceptation, d'intégration et de fonctionnement.

Les commentaires sur le rendu du 12 mars se trouvent ici. Des commentaires plus detailés seront fait en TD.

• Editeurs d'UML libres: sur Linux, BOUML, Umbrello.
• Compilation des TDA: CADP.
• Méthode B: Atélier B, poly D. Bert.

Dernière modification : Fri Apr 2 09:41:58 CEST 2010
URL: http://www.liafa.jussieu.fr/~sighirea/cours/genielog/index.html