Pour présenter vos pages de td

Haut de page découpé en trois parties :

Spec2
06-07
Groupe :
nom, prénom
_________________________________
Thèmes traités :
_________________________________
Exercice n° ... fait le ....

Le prochain cours

• Je vais aller plus loin avec les automates de Harel.
• Je vous en donnerai des explicitations avec B
• Vous devez avoir transformé l'automate de Harel que j'ai fait dans le cours n°2 en un automate "à plat", les informaticiens disent aussi "déplié" (folding/unfolding)... avant de venir en cours
• Et préparer un automate de Harel pour la douchiotte. Vous trouverez sa description dans le polycopié des TD.
  

Le deuxième cours

Les tableaux du premier cours

J'ai oublié de photocopier mes premiers écrits... voici ce qui était au tableau à la fin de notre "cours" (tutoriel diraient les Anglais)

Deux cahiers des charges

" On appelle cahier des charges un volume destiné à définir une commande, qui est établi par l'acheteur et dans lequel tout est prévu, sauf la mauvaise foi du vendeur" A. Detoeuf in Propos de O.L. Barenton, Confiseur)

"Document établi par le demandeur définissant les clauses techniques, les clauses de qualité et les clauses administratives applicables à la fourniture recherchée ; il sert de base à la proposition du fournisseur et pourra faire l'objet d'un contrat." AFNOR Z 61-1002

La Renault Logan

Son cahier des charges répond à des choix économiques, mais aussi de fiabilité : elle doit pouvoir endurer tous les climats et toutes les routes, des pavés de Roumanie à la « tôle ondulée » des routes sahariennes. Elle doit être capable de fonctionner avec des essences de qualités médiocres. La rareté des garages dans les pays les moins industrialisés fait qu'elle doit aussi supporter de très longues périodes sans révision. En outre, elle doit pouvoir être réparée facilement. Enfin, elle respecte les normes européennes Euro III et Euro IV en matière d'émissions polluantes et se recycle à 95 %.

La 2CV Citroën

En 1936, Citroën lance le projet TPV (Toute Petite Voiture), concept proposé par Michelin.

La TPV est destinée au monde rural avant tout.
Elle doit être faite pour un "client qui ignore tout de l'automobile",
"une bicyclette à quatre places, étanche à la pluie et à la poussière et marchant à 60-65 km/h en ligne droite sur route plate.
Elle doit pouvoir être achetée par un ouvrier, donc ne pas coûter cher. Elle doit durer 50 000 kms sans qu'on ait à
déplacer aucune pièce"

une voiture susceptible d'être réparée et réglée par le client le plus ignorant, des éléments faciles à démonter ou très accessibles
afin de réduire les durées d'immobilisation.

"qualité impeccable", mais exempt de luxe tout en offrant un vrai confort "une bonne aération et un chauffage"

Tout doit être démontable sans outillage particulier (Après la publication du livre d'I. Illitch - la convivialité - , on dira "convivialité" pour qualifier cela)

Devra circuler sur les plus petits chemins de terre à ornières et dans les champs...

Premier cours Spec2, réalisation

J'ai donné un état de ce que j'ai lu dans les copies de spec1, à savoir :

• les concepts de base , expression/prédicat, appartenance, inclusion,relation etc. non compris. Alors que les questions étaient celles poséesen test, test pour lequel j'avais fourni un corrigé et demandé de me fournir une explication des erreurs
• la numération n'est pas comprise, bien qu'au programme du CM1 ou CM2 et bien sûr traitée en "système", mais aussi dans le poly et j'avais annoncé par courriel une question au ds
• beaucoup (je n'ose dire le %) ne savent pas ce qu'est une légende !et ne savent pas reconnaître une relation. Je leur ai conseillé le "passeport pour le CP" depuis pas mal de temps.
• etc.

J'ai fait faire un tout tout petit diagramme de transition d'états
étiqueté. Et demandé de voir si déterministe, indéterministe.
On l'a "manipulé"...On l'a écrit en B classique, avec et sans
ne fonction de transition. On a montré la différence entre B
classique et événementiel en prenant le cas de la porte.
On a écrit, on a relu, on a rayé, etc. Comme dans la vraie vie des
informaticiens.
Des étudiants ont posé des questions pertinentes sur événement, d'autres
nous ont empêché de travailler. J'ai obtenu des conditions de travail
décentes après en avoir fait sortir plusieurs. Désolant !

Le cours s'est déroulé comme les cours auxquels j'ai assisté au Royaume-Uni
et aux USA. Dommage que nous ne participions plus à des échanges avec
d'autres établissements européens (cours en commun, etc.)

J'ai été plus souvent dans les travées de l'amphi qu'au
tableau. Et je n'ai pas utilisé PP.

P.S. J'ai pris des photos du tableau. Je les mettrai sur le blog.

TD :

On fait les exos du poly (selon l'activité des étudiants, en faire plus
ou moins)
qui conduisent à spécifier des automates étiquetés, qu'on écrira aussi en B
événementiel.

Rappel : le dossier de TD se rédige en cours de TD. Il peut être rédigé au
crayon "papier". Pourvu qu'il soit REUTILISABLE.

Prochain cours :

Préparez l'exercice suivant :

"Dudule, quand il entre dans l'amphi est réveillé. Mais une fois dans l'amphi, il est endormi. Endormi, il se réveille. La première fois que nous avons fait connaissance de Dudule, il était réveillé et entrait dans l'amphi. Nous ne connaissons que Dudule dans l'amphi. Mais il n'est pas toujours dans l'amphi, il est aussi ailleurs. Nous pouvons le voir entrer dans l'amphi et sortir de l'amphi pour aller ailleurs."

Faites l'automate du comportement de Dudule.
Et si vous faisiez deux automates au lieu d'un seul ?
On va reparler du produit cartésien.

Le premier cours de Spec2

aura lieu vendredi 26 de 8h 30 à 10 heures, Amphi 4

Apportez du papier et un crayon.


Les étudiants qui ont étudié le GRAFCET au cours de leur scolarité sont priés de venir me voir en fin de cours.

Ce sont eux qui feront le cours de GRAFCET avec moi. Nous appliquerons le "Qui est enseigné doit enseigner" de Gaston Bachelard.


Si vous disposez d'une machine personnelle, installez-y LTS de Magee et Kramer. Gratuit. Facile à installer. Utilisez Google ...

Bonjour

Nous utiliserons ce bloc-notes pour nos échanges relatifs à l'enseignement du module Spec2 (Spécifications 2e partie) de 1e année du département informatique de l'IUT de Nantes.

Vous disposez, depuis quelques semaines, du polycopié des sujets de TD qui comprend les consignes à respecter pendant les TD pour la constitution du dossier de TD.

Mes pages sur Spec2 sont à :

http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec2/Spec2sommaire.html

J'ai rédigé un polycopié pour Spec2, mais il doit certainement contenir des erreurs. Il ne sera pas distribué. Je vous ai fourni une bibliographie.

Le polycopié distribué pour Spec1 contient des pages plus spécifiquement Spec2. Utilisez les.