Travail #1 (MGL7160):
Résumé d'un article décrivant une application industrielle des méthodes formelles

Janvier 2001

Objectif

L'objectif de ce travail est de vous faire découvrir diverses applications qui ont été développées, dans l'industrie, à l'aide de méthodes formelles: quels genres d'entreprises, d'applications, ..., peuvent être ainsi développées.

Ce que vous devez faire

Vous devez lire un article décrivant une application industrielle des méthodes formelles. Vous devez ensuite en faire un bref résumé en remplissant un formulaire, disponible sur le web à l'URL suivant:

  http://www.labunix.uqam.ca/~tremblay_gu/MGL7160/TP1

Choix de l'article

Au plus tard, mardi le 6 février, vous devrez avoir choisi un article. Pour ce faire, consultez la page web indiquée plus haut, qui vous indiquera les articles qui ont déjà été choisis et qui vous permettra d'indiquer votre choix -- un même article ne doit pas être choisi par deux personnes différentes.

Remise du résumé

Le résume sera à remettre (toujours par l'intermédiaire du web: cf. URL indiqué plus haut) au plus tard le mardi 20 février -- je rappelle qu'il n'y a pas de cours cette semaine là. Je produirai, dans les jours qui suivent, une synthèse des divers résumés reçus que je rendrai disponible sur le web; on en discutera en classe au retour de la semaine de relâche (mardi 27 février).

Contenu du résumé

Le gabarit (template) que vous devrez remplir pour résumer les points principaux de l'article que vous aurez lu contiendra les éléments suivants:

• Titre (= titre de l'article)
• Référence (= clé de la bibliographie)
• Auteur(s) de l'article
• Entreprise(s) impliquée(s) (= identification de l'entreprise, des partenaires impliqués dans le projet, e.g., industrie + université)
• Domaine de l'entreprise (= domaine général d'expertise de l'entreprise)
• Description de l'application (= description générale de l'application pour laquelle des méthodes formelles ont été employées)
• Motivations et objectifs (= motivations initiales, objectifs initiaux ayant conduit à l'utilisation des méthodes formelles. En d'autres mots, qu'est-ce qui a initialement motivé l'entreprise à utiliser des méthodes formelles?)
• Méthodes utilisées (= identification des méthodes ou notations utilisées)
• Éléments touchés (= brève description de ce qui a été fait à l'aide de méthodes formelles, des parties ou éléments du projet pour lesquels les méthodes formelles ont été utilisées)
  • ...
• Avantages, gains (= avantages, gains liés à l'utilisation des méthodes formelles):
  • ...
• Difficultés ou problèmes rencontrés (= problèmes rencontrés spécifiquement liés à l'utilisation des MFs):
  • ...
• Conclusions et observations:
  • ...

Note: Vous n'aurez pas à expliquer, lorsque l'article les présente, les détails des spécifications elles-mêmes. Vous n'avez donc pas à comprendre la méthode ou notation (VDM, Z, etc.) utilisée.

About this document ...

Travail #1 (MGL7160):
Résumé d'un article décrivant une application industrielle des méthodes formelles

This document was generated using the LaTeX2HTML translator Version 97.1 (release) (July 13th, 1997)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -split +0 -auto_navigation enonce-tp1.tex.

The translation was initiated by Tremblay Guy on 1/19/2001