Dur, dur

Anecdote.

Il restait une caisse en haut d'une armoire de mon bureau. Comme une échelle était disponible dans le couloir, j'ai finalement pu descendre cette caisse.
Il y avait des classeurs. Je prends le premier en présence d'un collègue qui lui aussi part à la retraite. Je constate qu'il s'agit d'un dossier de td de spec. Le collègue me dit de ne pas l'ouvrir, sinon ça va me mettre le moral à zéro. J'ouvre cependant.

Très bien écrit, bien structuré, enfin un dossier qui respecte les consignes (à une époque où je ne les écrivais pas et où je ne les énonçais qu'une fois dans l'année), un dossier réutilisable, etc. J'avais noté "TB".
De quand date ce dossier ? De 1998.
J'en prends un deuxième. Encore un dossier comme depuis quelques années je n'en vois plus. Et c'est ainsi pour toute la caisse. Pas de faute d'orthographe, des commentaires pertinents.

J'ai tout mis à la poubelle. On ne pourra plus comparer. C'est ainsi qu'on est le meilleurs. Et tout le monde il est beau et tout le monde il est gentil et tout le monde il est le meilleur. Mais faut pas que les Polonais viennent chez nous piquer nos femmes et nos emplois ! nous allons récrire la Marseillaise.

1998-2008 ! comment en est-on arrivé là ?

Et on nous rebat les oreilles avec ISO 9000.

Pour ma dernière soutenance de stage en sept, un étudiant nous a dit "ce qui a été un peu difficile pour moi, ça a été de me conformer aux normes de spécification de la société qui est de niveau 3 dans le CMI"
Ah ! j'ai vu de quoi il s'agissait. Un tableau où on note :
événements, actions qui s'en suit, éditions éventuelles.
Bientôt un automate de Moore ou de Mealy, ce sera le top du top du top.

Il y a 35 ans nous étions au top niveau sans le savoir.

Les dossiers de l'an dernier...

sont dans le couloir face au secrétariat.
Pour quelques jours, ensuite poubelle.

Je ne sais si je vais continuer à écrire dans ce bloc-notes. J'envisageai un livre sur le contenu du module spec2. Peut-être ... si les cèpes refusent de sortir par ce mauvais temps.

La réunion du 22 mai

Elle a duré 1h 45. Il y avait 4 étudiants. Deux excusés. Sur toute une promo. On a pu faire un enseignement de qualité ! et qui plus est en dehors de tout service officiel pour moi. La gratuité ne vaut plus rien a écrit un de mes collègues de Bordeaux. Cette fois elle a eu de la valeur pour quelques étudiants et pour moi.

Je vous avais demandé d'utiliser LTSA pour vérifier...
Dans le corrigé, j'ai fait une erreur de dessin et la réponse à la question 5.3. n'est pas ce qui est imprimé. Certains m'ont écrit comme explication de ce qui n'était pas une erreur (c'est moi qui est fait une erreur !) ..."J'ai répondu ça au lieu de répondre ..." !

En construisant la réponse lors de la réunion, mon erreur a été repérée. Et confirmée
par LTSA. Les outils boîte noire ne sont utiles que pour ceux qui savent ce qu'ils font ! et ce qu'ils en attendent.

Et je ne sais pourquoi j'ai aussi copié des réponses systématiquement fausses pour la question 5.10. Heureusement que des présents à la réunion ont tiqué. Et comme j'ai construit le début d'automate au tableau je me suis aperçu de mon erreur sur le corrigé. J'ai alors demandé aux présents d'utiliser LTSA... et là, on n'a pas obtenu ce que j'attendais !
J'étais bon pour la retraite anticipée ? alors j'ai recommencé sous le contrôle des présents... et ai relu la spec saisie par un étudiant... il n'avait pas saisi la spec de la question (il avait saisi ::, là où dans la spec il y avait :) ! Ouf !

Pour la question 6.3. les présents ne voyaient pas pourquoi il n'y avait pas de solution (impossible de trouver une précondition respectant l'invariant sans modifier ce qui était écrit après le THEN). Et oui ...dans la vie on peut vous poser un pb sans solution. Et il faut savoir repérer. Je vous avais demandé pourquoi.

Comme toujours, impossible de faire faire un diagramme sagittal et un essai illustrant l'impossibilité (il suffit d'exhiber un exemple comme disent les logiciens et c'est démontré !). C'est que nous avons des étudiants qui ne veulent pas s'abaisser à faire des dessins de mat sup (maternelle supérieure). Le prof de maths a vécu cela..; et ça a continué en spec1 et spec2.
Et dès qu'un des 4 présents a eu tenté de faire l'opération sur le diagramme sagittal, il s'est vu comme Archimède ...Eureka.
Alors à vos crayons.

Je vais repasser toutes les copies en revue pour quelques décimales...!

Il est clair que je ne trafiquerai pas les notes. Trafiquer les compteurs sur une automobile est interdit ...

Je vais faire l'ajout des au plus 3 points comme annoncé. Les notes seront donc modifiées conformément aux règles annoncées. Nous vivons dans un état de droit.

Détails

"Mais ce n'est pas assez que d'avoir bien établi l'ensemble, il s'agit d'y introduire les détails sans détruire la masse."

Diderot, Essais sur la peinture, Hermann, page 17 *


En informatique, nous disposons des techniques d'abstraction, de raffinage. C'est ce que nous avons tenté d'enseigner en spec1 et spec2.


* merci à Sébastien qui m'alimente en ouvrages

Vive l' i-tichingue !

bonjour,
je commence à m'interresser à la preuve de logiciel.
depuis casablanca (au Maroc) , je suis entrée à votre page sur le site
irin.univ-nantes.fr
et trouvé un exercice de spécifications.
j'ai essayé de résoudre cet exercice.
si vous pouvez me le corriger voici ci dessous mes réponses:
je vous en remercie d'avance.

Considérez l’extrait suivant d’une machine abstraite B

POW P ensemble des sous-ensembles
SETS
PERSONNE ; SUJET

VARIABLES
professeurs, sujets, enseigne

INVARIANT
professeurs : POW (PERSONNE) &
sujets : POW (SUJET) &
enseigne : PERSONNE +-> POW (SUJET)

Nous allons énoncer des contraintes supplémentaires.
Et fournir plusieurs spécifications, certaines étant mal typées.
Si une phrase à spécifier vous apparaît comme ambiguë, explicitez l’ambiguïté,
fournissez une nouvelle rédaction et la spécification associée.
Question 1
« Les personnes qui enseignent sont des professeurs »
Sera exprimé au mieux par :
Bonne spécification 1.1. dom (enseigne) < : professeurs
1.2. professeurs < : dom (enseigne)
1.3. ran (enseigne) < : professeurs
1.4. aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français


Spécification


Question 2
« Tous les sujets sont enseignés par les professeurs » (N.B. : nous ne désirons pas
dire que chaque professeur enseigne tous les sujets. Nous désirons dire qu’il n’y a
pas de sujet qu’aucun professeur n’enseigne. »
Sera exprimé au mieux par :
Bonne spécification 2.1. ran (enseigne) < : sujet
2.2. enseigne : PERSONNE +-> POW (SUJET)
2.3. enseigne : professeurs +-> sujets
2.4. aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français

Spécification


Question 3
« Tous les professeurs ne doivent pas enseigner, sachant que seuls les professeurs
peuvent enseigner. »
Sera exprimé au mieux par :
3.1 dom (enseigne) = professeurs
3.2 dom (enseigne – professeurs) /= {}
Bonne spécification 3.3 professeurs – dom (enseigne) /= {}
3.4 aucun des prédicats ci-dessus
Ambiguïté
le prédicat 3.3 est proche de la bonne spécification.
la première partie veut dire qu’aucun professeur ne doit enseigner.
La seconde veut dire que les enseignants ne peuvent être que des professeurs.
D’où la contradiction


Nouvelle expression en français
Les professeurs ne doivent pas tous enseigner


Spécification


Question 4
« Un groupe est un ensemble de personnes »
Sera exprimé au mieux par :
4.1 PERSONNE : groupe
4.2 groupe : PERSONNE
4.3 groupe : NAT <-> PERSONNE
Bonne spécification 4.4 aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français


Spécification
Groupe< :PERSONNE


Question 5
« Une année est un ensemble de groupes »
Sera exprimé au mieux par :
5.1 groupe : année & année < : PERSONNE
5.2 année : POW (groupe) & groupe : POW (PERSONNE)
5.3 groupe < : année & année < : PERSONNE
Bonne spécification 5.4 aucun des prédicats ci-dessus.

Ambiguïté


Nouvelle expression en français


Spécification

groupe : année & année < :POW( PERSONNE)

==============
et ma réponse :

C'est bon.

Pour la dernière
groupes :<: POW (PERS) &
années <: POW (groupes)

Les dossiers de TD

Afin d'avoir une notation cohérente et unifiée, je traite tous les dossiers de tous les groupes.

Je note relativement aux consignes rappelées plusieurs fois. Ce sont les mêmes que pour spec1. Elles vous ont été fournies par écrit. Il est clair que la seule recopie de ce qu'a écrit l'enseignant au tableau n'est pas ce qui est demandé.

Je n'ai pas rappelé sur chaque dossier le non respect de ces consignes.


Les étudiants qui veulent consulter un dossier respectant en grande partie les consignes (il s'agit d'un dossier de 2007) peuvent m'adresser un courriel.

En plus du contenu du dossier, je dispose des informations écrites fournies par les enseignants de td sur l'activité de chacun lors des TD (et pas seulement des présences).

Pour les étudiants qui veulent avoir des réponses à leurs interrogations

... après discussion avec certains d'entre vous, la tranche de temps que nous avons trouvée de libre pour tous est jeudi prochain. Il ne semble pas qu'il y ait d'activité sportive ce jeudi 22. Si un étudiant ne peut venir et désire discuter de ses explications, il sait que le courriel est disponible pour demander un rdv, je le lis chaque jour.

Le rendez-vous est donc salle F01 jeudi 22 mai à 14 heures.

Rappelons la séquence ayant conduit à ce rdv :

- Avant chaque cours, j'annonce ce que je vais traiter, ce qu'il faut faire pour se préparer au cours. j'en informe aussi les intervenants en TD
- Après chaque cours, je fais un compte-rendu sur le blog. Je donne des compléments. Je corrige éventuellement mes propos. J'insiste sur les points essentiels qui seront demandés en DS. J'insiste particulièrement sur les erreurs.
- En cours, j'annonce les exemples traités qui seront des exos du DS
- Lors du DS, je demande aux étudiants de noter leurs réponses sur le sujet et sur la feuille de réponse. Ceci afin qu'ils puissent faire une auto-notation. Il me semble en effet essentiel que la note n'apparaisse pas comme non significative. Et de plus, se noter oblige à se relire, à se poser la question de l'essentiel. Et enfin, cela amène les étudiants à lire le corrigé fourni. En effet, les enseignants qui fournissent un corrigé savent depuis quelques années, que seulement quelques étudiants prennent ce corrigé (ce qui ne donne pas le nombre de ceux qui l'étudient).
- Et je demande que me soit fournie une explication des erreurs, des non réponses. Et comme ce qui compte c'est ce qui finalement est compris, j'ajoute jusqu'à 3 points à la note selon le contenu de ces explications.
- J'étudie les explications. Ayant noté encore des incompréhensions, des raisonnements erronés, des questions posées, j'ai proposé une réunion. C'est l'objet des premières lignes de ce courriel.

Incroyable ... mais vrai !

> > XXXXXX a écrit :
>> >> Bonjour,
>> >> Nous sommes plusieurs étudiants à nous demander pourquoi nous devons
>> >> venir
>> >> à une séance de correction, alors que nous avons rendu un corrigé.
>> >> Ce que nous avons rendu ne sert donc à rien?
>> >>
> >
> >
> > Oh ! comment puis-je savoir ce que vous avez compris si je ne lis pas ce
> > que je vous ai demandé. E,n vous lisant, j'ai constaté que certains
> > n'ont toujours pas compris. Et je pense que l'oral est bien commode pour
> > discuter avec vous de vos incompréhensions, etc.
> >
> > Mais si vous concevez l'enseignant comme un "dis- penseur" de bonnes
> > notes, je perds effectivement mon temps et serais incompris de vous.
> >
> >
> >
>> >> Nous souhaiterions donc plus d'informations. svp
>> >>
>> >> Cordialement
>> >>
>> >> Merci d'avance.
>> >>
>> >>
>> >>
>> >>
> >

Un collègue prenant connaissance de cet échange, m'écrit :

Incroyable !!!!!!!!!!!!!!!!!


Pour information, j'ai proposé aux étudiants une séance. Aucune obligation ! Quoi, horrreur ! obliger !

Sur les copies d'explication des erreurs du DS

Je propose aux étudiants ayant fourni ces copies, une séance de travail sur leurs écrits. Qu'ils m'indiquent quand celle-ci est possible pour eux.



Il est clair qu'il ne suffit pas de m'écrire :
"je n'avais pas étudié"
"je n'ai pas traité la question"
"je n'avais pas lu la question"
"je ne comprends pas"

pour avoir + 3 points !

Je rappelle pour la n-ième fois (mais certains m'écrivent : "le sujet, le corrigé, les explications étaient bien sur le blog, traités en cours, mais je n'avais pas lu ...") alors je perds sans doute mon temps. Mais comme ce blog est ouvert à tous, il peut y avoir des lecteurs qui en profitent ...
que :

- "dans le corriger, on trouve" / corrigé !
- "je ne me souvenait plus" / souvenais !
- "je n'es pas du faire" / ai !
- "je n'est pas cru" / ai !
- "j'avai bien compris" /avais !
- "si je me fit a mon brouillon" / fie ! Mais Dieu fit ...!
- "j'ai indiquer"/indiqué !
- " une réponse rationnel" / rationnelle !
- "je ne peut"/ peux !
- "j'ai résonné" /raisonné (sinon ... comme un tambour !)
- "j'ai réfléchit" /réfléchi/ fourni/ etc etc
- "j'ai inverser"/ inversé !
- "si l'on choisi" / choisit !
- "je n'ai pas fais de ..." / fait !


Et je constate que plusieurs devraient lire un dictionnaire si n'admettent pas ce que dit l'enseignant.

asynchrone, le a est privatif.
qui n'est pas synchrone.
Certains insistent en m'écrivant "le Grafcet est bien asynchrone puisque toutes les transitions simultanément franchissables sont simultanément franchies" !

Je constate que mon collègue qui est chargé de l'expression écrite en français dans notre institut a bien du travail. Mais ouf, enfin je ne suis pas seul.

PS 1

Mais monsieur, vous n'avez pas à nous corriger nos fautes d'orthographe. Vous n'êtes pas prof de tec de co !

Sans doute une conséquence de la modularisation à la française !

PS 2

J'ai fait une erreur dans mon corrigé. Personne ne l'a vu.
Je vous dis à quelle question. A la question 7.2.3.
Quelle est l'erreur ?
J'attends la date du rdv chez l'ophtalmo. Mais, vous, vous êtes jeunes !

PS 3

J'ai fait une faute d'orthographe (si on fait l'interprétation qui semble naturelle dans le contexte de ce PS) dans mon PS 2. Laquelle ?

Enseigner...

"Il continue à enseigner (...) aussi parce que c'est une leçon d'humilité, cela lui fait comprendre la place qui est la sienne dans le monde. Ce qu'il y a là d'ironique ne lui échappe pas : c'est celui qui enseigne qui apprend la plus âpre des leçons, alors que ceux qui sont là pour apprendre quelque chose n'apprennent rien du tout."

(J.M. Coetzee, Prix Nobel de littérature 2003, in Disgrâce)

Le 16 juin 2008

Les étudiants qui veulent suivre la conférence The B method sont priés de se faire connaître.

Ceux qui veulent installer, utiliser la plateforme Rodin auront l'occasion d'obtenir des conseils.

Un étudiant de 2ième année devrait faire un exposé sur son expérience de stage au Royaume-Uni.

Les notes du DS Spec2

Ont été données au secrétariat. Elles seront affichées demain matin. J'ai tenu les délais.

Comme indiqué sur les feuilles de notes, je n'ai pas encore pris en compte vos commentaires de vos erreurs et vos réponses aux questions posées dans le corrigé. Je ne les ai reçues que hier soir 17 heures !

J'ai tenu compte de ce que j'ai écrit dans le corrigé. J'ai en conséquence modifié le coefficient multiplicateur pour mettre les notes sur 20.

Ma notation est mauvaise en terme d'évaluation des connaissances. En effet, j'avais mis des questions qui permettaient de vérifier la cohérence des réponses. J'ai fait une notation par question indépendamment des réponses à d'autres questions. ... Que ne fait-on pas pour objectivement monter les notes !

Il reste les notes de dossiers.

Etonnant, n'est-ce pas ?

Relevé dans les copies :

- La différence essentielle entre le B classique et le B événementiel :

"le B événementiel trait le cas qui séffectue que une foi lord de l'event"

- Les différences importantes (hors celles relatives à la représentation graphique) entre les Réseaux de Petri et le Grafcet :

"Le réseau de Pétri prend en compte les blocages possible en déffinissant le nombre d'éléments (jeton)"

Quand j'ai des réponses, elles sont de ce type. Bof bof bof.

Et ce qui est inquiétant ce sont les contradictions ou ... je ne sais comment qualifier.

Exemple :

On vous demande "est-ce que le système S1 et le système S2 sont en bissimulation faible ?" et au lieu de me répondre oui ou non, certains ont rédigé comme réponse :
"S1" est en bissimulation faible.
Etonnant n'est-ce pas ? On vous demande si a= b et vous répondez "a est égal".



Et heureusement que ça fait bien longtemps que les enseignants n'écrivent plus qu'ils enlèveront des points pour les fautes d'orthographe.


Quand on demande une réponse formelle, on n'en obtient pas et quand on la demande sous forme de deux à trois phrases en français, c'est affligeant.


J'ai trouvé :
momment
dir
les tiraits
propriété de progret

et bien sûr participe passé, infinitif, c'est quoi ? On comprend que des étudiants (?!) qui écrivent ainsi aient bien des difficultés à modéliser ou même à lire des modélisations. Mais nous approchons de l'informatique de nouvelle génération : il suffira de demander à l'ordinateur "pouvez vous me dire ce que je veux ?".


et beaucoup (au moins 1/3) ne recopient même pas correctement les mots de la question.
Exemple : Je demandais "qui a raison" et j'obtiens comme réponse "Duchnock a résondt"

Il y en a encore trop qui ne savent toujours pas ce qu'est une fonction. C'est qu'ils n'ont jamais vu cela au lycée, à l'Iut. Evident !

Pédagogie

" Or certains n'admettent qu'un langage mathématique ; d'autres ne veulent que des exemples ; d'autres entendent qu'on recoure à l'autorité de quelque poète ; d'autres, enfin, exigent pour toutes choses une démonstration rigoureuse, tandis que d'autres jugent cette rigueur excessive, soit par impuissance à suivre la chaîne du raisonnement, soit par crainte de se perdre dans les futilités."

Aristote, La métaphysique, tome 1, Vrin

Ne partez pas sans avoir acheté ce livre !

ICI

Perles qui ne sont pas des perles de culture

... mais peut-être est-ce la "culture à la française", pur produit naturel.

Rappelons la question (dont la réponse était fournie AVANT le ds sur le présent bloc-notes) :

"[...] C'est pourquoi, à cette époque, on avait envisagé que sur les 12600 mètres de longueur totale du tunnel, les Italiens perceraient 6 750 mètres de galerie et les Français 5 850 mètres, afin que la rencontre s'effectue au même moment" (article paru dans l'Economie, n° 826, 14 juin 1962)"

Après l'enseignement du module spec2, quelle est votre remarque pertinente sur ce texte.

Merci à Claude Gagnière qui nous a offert sa merveille "Pour tout l'art des mots" que tout étudiant devrait lire et relire. Mais je rêve !

Rappelons qu'en Spec2, nous avons travaillé sur le "rendez-vous" !


Voici comme annoncé aux étudiants (avant le Ds quand je les ai averti de la question à venir) ce que j'ai trouvé dans les copies (j'ai conservé les fautes d'orthographe) :

- " Ce texte n'a pas de sens puisqu'on ne peut creuser que dans un sens car sinon on ne sait pas si les deux tunnels se rencontreront bien en face l'un de l'autre voir pas du tout."
- "La rencontre ne se fera pas obligatoirement au même moment, ils se rencontreront mais pas au même instant (les Italiens doivent creuser plus que les Français) dans le temps." (un étudiant qui en rajoute !)
- "Si le travail est fait en parallèle, pourquoi l'Italie creuserait plus de galerie que la France ?"
- "Lors du percement, on voulait un rendez-vous entre les 2 nations sous la roche. Pour qu'il y ait rendez-vous, il faut être au même endroit au même moment, c'est pourquoi, on a calculé les longueurs à percer pour les deux nations."
- "Cette phrase n'a pas de sens : "au même moment" puisque c'est un tunnel, il vont forcément ce rencontrer "au même moment"".
- "Il n'est pas forcément faux, soit les Français on des travaux plus délicats ou difficile (la roche, la geoposition, ...) soit la Franche (sic) met moin de moyen pour la création du tunnel soit la France fait un travail plus lent (et peut être plus minussieu). On manque cruellement de donné Se qui est ssur c'est que la France creuse moin "
- "Si la rencontre s'effectue au même moment, mais que les Italiens percent plus de mêtres de galerie que les Françaos alors cela voudrait dire que soit les Italiens ont plus de moyens mi en oeuvre, soit ils sont plus rapide que les Français"
- "On ne peut définir le moment de rencontre avec ces indications. La vitesse de perçage des Italiens et celle des Français n'est pas spécifiée, ni le début des travaux en France, et celui en Italie."
- "Certes 6750 mètres plus 5850 mètres font 12 000 mètres. Mais ce n'est pas sûr que les Italiens et les Français travaillent au même rythme. Je dirai même qu'il ne travail pas au même rythme donc la rencontre ne pourrait s'effectuer au même moment." (au fait, c'est quoi le rythme ?)
- "Ce texte paraît dénué de sens dans la mesure om l'on ne sait pas pourquoi les Français ont moins à creuser que les Italiens (matériel, nature de la roche ...) (Où allez vous chercher le sens ? Analyse syntaxique, analyse sémantique ... revoyez les fondamentaux avant que Monsieur ou Madame la Ministre le claironne à la télé)
- "Dans la phrase "la rencontre s'effectue au même moment" (bien qu'on peut avoir du mal à envisager qu'une rencontre entre deux individu ait lieu à des moment different) ; il nous faut comprendre que les protagoniste creuseront dans la même direction mais dans des sens opposé. Ce qui n'est pas spécifié." (après avoir eu bien du mal, pouvez-vous nous faire profiter de votre souffrance ?)
- "On remarque que les Italiens ont perçé 1900 m de plus que les français. Le fait de s'être mis d'accord sur le partage de la distance à percer n'explique pas que la rencontre s'effectuera au même moment puisque cela dépend de la vitesse du perçage. " et étonnant l'étudiant poursuit par "De plus, ... dans tous les cas la rencontre se fera au même moment dès qu'un des deux protagonistes rejoindra l'autre." (de la suite dans les idées !)
- "on peut dire que pour que la rencontre se fasse, les français doivent avancés moins vite que les italiens, et qu'il faut encore que les 2 tunnels ne se rate pas. Sur le texte lui-même la phrase "la rencontre s'effectue au même moment est idiote car une rencontre, c'est forcément au même moment." (Ah et si les Italiens avancent moins vite que les Français, la rencontre ne se fera pas ? Et le cours sur la propriété de fatalité (eventually ... fatalement) ?)
-"On ne comprend pas pourquoi les Italiens ont plus à creuser. Il aurait fallu expliquer pourquoi ; s'agit-il de la nature de la roche, ont-ils commencé à creuser avant, ..." (ce que c'est que l'incompréhension, ma bonne dame ! on nous cache tout, on nous dit rien ! Ah ! ces journalistes !)
- "Les Italiens creusent 6750 mètres de galeries et les Français n'en creusent seulement que 5850 mètres, donc pour que la rencontre se fasse au même moment il faut que les Italiens commencent à creuser avant les Français (900 mètres exactement) " (quelle injustice !)
- "Les Italiens sont plus rapides !" (et le lecteur du texte, encore plus !)
-"En théorie l'Italie et la France auraient dû se partager équitablement le travail, soit 6300 mètres chacun. Après l'enseignement du module spec2, peut-on supposer que les français travaillent moins que les étrangers ? ..." (La théorie ? Quelle théorie ? Comme répondait Ted Codd aux imbéciles qui lui disaient que les "bases de données relationnelles" c'était de la théorie et que donc bof, bof, bof... il répondait que la bombe atomique c'était aussi de la théorie. Mais la démago pédago a fait son oeuvre : la théorie disparaît des enseignements d'informatique. A quoi me sert la théorie pour faire fonctionner ma free boxHD ? Quelle théorie ? . Encore un peu d'effort et nous nos établissements deviendront de grands cafés du commerce. Une idée pour le redressement du pays, Attali y-a-t-il pensé ? Lui, il sort de l'X. )
- "Il manque des information, c'est bien beau de donné des longueur mais si les types de roche sont différent d'un côté a l'autre, on peut mettre 3 jours a creuser d'un coté et 2h de l'autre. En plus il y a risque d'évitement, qu'un tunnel soit plus bas ou plus a droite"
- Or "la rencontre s'effectue au même moment" est fort peu probable compte tenu des vitesses supposé égale et des distances visiblement différentes; Enfin, qui dit que français et italiens partiraient des extremités de la galerie ? On ne sait pas."
- Si on doit creuser 12600 mètres de longueur et que les italiens perceraient 6750 mètre et les Français 5850 mètres et que les 2 pays se rencontre en même temps alors les Français devraient creuser un endroit plus difficiel ou/et avec une roche plus dure que les Italiens."
- "La rencontre ne s'effectuera pas forcément au même moment juste parce que la somme des longueurs est égale au total.Il faut,soit que les Français travaillent moins vite, soit que les Italiens commence à creuser plus tôt que les Français."
- "Qu'est-ce qui nous dit que les italiens et français travaillent en parallèle et que les italiens sont plus rapides que les français ?"
- "Il faut que les 2 pays creusent au même endroit"
- "Le décalage horaire force les Italiens à commencer plus tôt, donc à creuser plus, sachant que la journée de travail en France n'est que de 35 h."
- "Les français sont de moins bons mineurs"
- "les français et les italiens travaillaient en mode synchrone"
- "Les Italiens percent mieux que les Français"
-"Il devrait y avoir la même longueur à percer de chaque côté. Mais on ne sait si la roche est plus ductile d'un côté, plus solide de l'autre côté." (la roche ductile !? de la glaise ?)
- "On peut penser que les Italiens avait une partie plus facile à percer ou bien qu'ils étaient plus rapide à percer"
- "Pour que la rencontre s'effectue "au même moment" il aurait fallu donner le même nombre de mètres de tunnel à chaque pays (6300 mètres chacun)"
- "Il n'est pas assuré que la rencontre se fasse exactement en même temps. Il y a un risque potentiel de danger. C'est du pifomètre ("on avait envisagé")"
- "j'en déduit que la frontière passant au dessus du mont blanc était à 5850 du début du tunnel français et à 6750 m de celui des Italiens (a vol d'oiseau biensur !)"
- "On exprime le perçage du tunnel en mètre. La rencontre doit donc s'effectuer à un endroit (type "lieu"). Dans le texte, elle s'effectue "au même moment", il est absurde que cela soit exprimé par un type "temps"" (Ca c'est du discours arnacologique mais comme Monsieur Jourdain faisait de la prose)

Une réponse qui est correcte mais passe à côté du "au même moment" :

- "Les Italiens percent plus vite que les Français ou alors les Italiens ont commencé de percer avant les Français"

Et puisqu'on a appris aux lycéens à s'exprimer, voici une réponse comme on en trouve de plus en plus (des "brèves" de copies) :

- " Un rencontre s'effectu au même moment et les français sont des feniants" (un étudiant qui sait de quoi il parle, à en juger par ses non réponses à la majorité des questions)

Et toujours des difficultés avec forme et sens.

- "Leur phrase est très mal formulée, que veut dire "que la rencontre s'effectue au même moment". Rien.
Puisque que quand les Français rencontreront les Italiens, il en ira forcément de même pour les Italiens."

Et il y a ceux qui veulent à tout prix déborder des zones fournies pour écrire la réponse (on leur a dit que les réponses devaient tenir dans ces zones. Qu'est-ce qu'on peut inventer dans la pédagogie moderne ! Et encore je n'ai pas fait l'IUFM où on apprend, m'a-t-on dit, à écrire au tableau tout en regardant les élèves pour éviter crachats etc... voir notre message sur notre bloc-notes lefenetrou relatif aux maladies des enseignants)

- "Le tunnel fait bien au total 12 600 mètres quand on additionne la distance pour les Français et les Italiens. Cependant, seul le temps de perçage influera sur la distance du point de rencontre par rapport au bord de la montagne. Par conséquent,peut importe la distance parcourue par chacun d'eux, la rencontre s'effectuera toujours au même moment. De plus la rencontre devrait s'effectuer au même moment à 6300 mètres (12600/2) alors que les Français parcourent 5850 mètres et les Italiens 6750 mètres donc elle aura lieu au même moment mais à une distance différente." (Sans doute un étudiant qui a appris qu'on est payé à la ligne. Il paraît qu'il faut mettre au moins 3/20 quand un élève a écrit quelques mots sur sa copie)


Je pense que la majorité de nos étudiants sont des numérologues qui s'ignorent.

P.S. : Nous avions comme dernière question, une configuration du jeu de la vie. Il fallait donner la configuration après une génération. AUCUNE bonne réponse sur une centaine de copies ! Bof, bof, bof. Il y en a des pages et des pages sur la Toile. Alors ...

Documentation technique, Tchernobyl

"Dis donc, ici dans ce programme, il est dit comment procéder, et ensuite je vois que d'importants passages ont été biffés ; qu'est-ce que je dois faire ?"
Après un instant de réflexion, l'autre lui répond : "Procède selon ce qui est supprimé.""

Communications entre deux opérateurs de la centrale de Tchernobyl la veille de l'avarie.

Publié par la Pravda le 20 mai 1988, Testament de Legassov

Cité dans Morts pour la science, ouv. cité, page 112

P.S. : Pourquoi un dossier de specs 2 ? Bof, bof, bof !

A lire , l'opinion de Maurice Nivat

ICI

dans Interstices

Merci à Sébastien (j'ai deux Sébastien parmi mes envoyés spéciaux ! non rémunérés (coût = 0) , mais efficaces ! produits/ coût = l'infini ... des connaissances !

Je suis enseignant dans un département informatique et on est censé y enseigner la gestion. Et parler de "logiciel de gestion" quand on a un logiciel qui ne fait que permettre d'enregistrer des observations, ce n'est pas de la gestion ! Sinon, mon compteur d'eau est un "gestionnaire" !

Prix Turing 2008

Le communiqué complet de l'ACM :

ICI

Dires de Prix Turing pour étudiants en informatique du XXIe siècle

- " You just read the manual and got the list of instructions and that was all you knew about programming. Everybody had to figure out how to accomplish something and there were of course a zillion different ways of doing it and people would do it in a zillion different ways." J. Backus, (Prix Turing, Fortran) années 40

- "I considered an intelligent thing as a finite automaton connected to an environment that was a finite automaton. I made an appointment to see John von Neumann. He was encouraging. He said, "Write it up, write it up" "
J. McCarthy (Prix Turing, Lisp)

- "To put it simply, the frame problem is not having to mention all the things that don't change when a particular action occurs."
J. McCarthy (Prix Turing, Lisp)

- "All understanding begins with our not accepting the world as it appears." Alan C. Kay (Prix Turing, Smalltalk)

- " By the time I got to school, I had already read a couple of hundred books." Alan C. Kay (Prix Turing, Smalltalk)

- "Computer programming is a bit like a Gregorian chant - a one-line melody changing state within larger scale sections. Parallel programming is more like polyphony." Alan C. Kay (Prix Turing, Smalltalk)

- "They (Air Force) needed programmers. This was back in the days when programming was a low status profession and most of the programmers were women. My boss was a women. They also were taking linguists ... It was actually a pretty interesting bunch." Alan C. Kay (Prix Turing, Smalltalk)

- "People rarely want what they need. Their wants are there for one reason and their needs for another. It is important for technology to match up needs and wants. " Alan C. Kay (Prix Turing, Smalltalk)

- "The mathematical culture of the day was very much identified with the continuum and infinity. Could a finite discrete problem be of any interest ?" E. Dijkstra (Prix Turing)

- "The programmers didn't like the idea at all because it deprived them of the intellectual excitement of not quite understanding what they were doing. They like the challenge of chasing the bugs." E. Dijkstra (Prix Turing)

- "Americans have a pathological fear of formal manipulation. It seems that the United States have a century of demathematicisation which of course is very tragic because in the same century the mathematical computer is invented which is a major mathematical challenge." E. Dijkstra (Prix Turing)

- " [...] This is not a random process. We are not tossing a coin. But is is nondeterministic because you have choices as to the next state (i.e., menu item selection) that you move into. [...] I must say we didn't see all the implications of this. Our notion of nondeterminism was for us a mathematical creation." " M.O Rabin (Prix Turing)

- "We remember thing by structure" M.O Rabin (Prix Turing)

- "Mathematics is the science of patterns. Music is patterns. Computer science does a lot with abstract things and making patterns. Computer science, I think, differs from other fields most in that it constantly jumps levels - from looking at something in the small to looking in the large." D. Knuth (Prix Turing)

- "In general, whatever you're trying to learn, if you can imagine trying to explain it to a computer, then you learn what you don't know about the subject. It helps you ask the right questions. It's the ultimate test of what you know." D. Knuth (Prix Turing)

- "The danger is to get into some branch of theory that becomes self-feeding and doesn'tie back into the real world." R. E. Tarjan (Prix Turing)

Extraits de Out of their minds, Dennis Shasha, Cathy Lazere, Copernicus, Springer-Verlag ISBN 0 487 97992 1

La vie d'une application (celle qui remplace Nabuco)

"Le groupement en charge du produit Sifac a relevé une anomalie importante
dans notre base de données.
C'est pourquoi et à la demande express de la Direction de projet de l'Université de Nantes et du groupement,
à partir de maintenant (jeudi 10 avril 2008 à 12H15),
je vous demande de vous déconnnecter et de ne plus réaliser de transactions sur la base de Production.
Je vous indiquerai dés que possible le retour à l'état normal. "

Cas ascenseur

I.U.T. de Nantes
Département informatique
Première année
Module Spec 2
Cas ascenseur
Rédigé par H. Habrias
Version n° 1 du 13-04-2004


1- Un ascenseur est composé d’une cabine pourvue d’une porte et de portes palières à chaque étage (on comptera dans les étages le rez-de-chaussée) desservi par la cabine.
2 - La cabine dispose à l’intérieur de boutons, un bouton par étage desservi.
3 - Les utilisateurs appuient sur le bouton intérieur qui indique l’étage où ils veulent aller. Le bouton est alors éclairé.
4 - Plusieurs boutons intérieurs peuvent être éclairés en même temps.
5 - Quand la cabine arrive à un étage demandé par un des utilisateurs, le bouton intérieur cesse d’être éclairé. La porte de la cabine s’ouvre en même temps que la porte palière.
6 - Au bout de 20 secondes, la porte de la cabine et la porte palière se referment en même temps.
7 - La porte palière d’un étage ne doit pas être ouverte si la cabine n’est pas à l’étage.
8 - La cabine ne doit pas être déplacée si la porte de la cabine est ouverte et si la porte palière est ouverte.
9 - Il y a deux boutons par étage. Ils sont situés à droite de la porte palière : un pour demander (en appuyant sur le bouton) la cabine pour descendre, un pour demander la cabine pour monter. Bien sûr le rez-de-chaussée et le dernier étage n’ont qu’un seul de ces deux boutons.
10 - Une fois qu’un utilisateur a appuyé sur un bouton, ce bouton s’éclaire. L’éclairage du bouton cesse lorsque la cabine qui va dans la direction du bouton s’arrête à l’étage.
11- On peut avoir les deux boutons de l’étage éclairés en même temps.
12 - Des capteurs permettent de savoir si une porte est fermée, si la cabine est arrivée à tel étage.
13 - Bien sûr des actionneurs permettent à la cabine de se déplacer, aux portes d’être ouvertes ou d’être fermées.


Question n°1

Listez les entrées (les événements) du système de contrôle de l’ascenseur.

Question n°2

Listez les commandes émises par le système de contrôle de l’ascenseur.

Question n°3

Faire l’automate de l’interface homme/système ascenseur.

Question n°4

Ecrire formellement les deux exigences suivantes :

- La porte palière d’un étage ne doit pas être ouverte si la cabine n’est pas à l’étage.
- La cabine ne doit pas être déplacée si la porte de la cabine est ouverte et si la porte palière est ouverte.

Question n°5

Enoncez une propriété :
d’absence de verrou fatal
de famine

Navigation lights

Les feux de navigation (navigation lights)
Version n° 1 du 17-05-2005
Rédigé par H. Habrias
____________________________________________________

Les aéronefs doivent avoir des feux de navigation dont les " Right-of-Way lights".
Un feu rouge est monté sur le côté gauche de l’aéronef et un feu vert sur son côté
droit. Ils servent quand deux aéronefs ont une direction qui les conduit à une
collision : si un pilote voit un aéronef sur une route qui croise la sienne, il
verra soit son feu rouge soit son feu vert. Si il voit le vert, il sait que c’est à
lui de passer. Si il voit le rouge, il sait que c’est à l’autre de passer.
On suppose qu'un avion ne voit qu'un des feux de l'autre avion et que quand l'un
voit un feu de l'autre, l'autre voit le feu du premier.

Vous considérerez deux aéronefs et spécifierez le comportement de ceux-ci tel que
décrit ci-dessus. Vous utilisez LTSA.

1) Dans une première spécification, vous utiliserez le renommage des actions
2) Dans une deuxième spécification, vous utiliserez le renommage des processus et
des actions



AVION1= (av1VoitRouge -> av1_laissePasser -> AVION1 | av1VoitVert -> av1_passe ->
AVION1).
AVION2 = (av2VoitRouge -> av2_laissePasser -> AVION2 | av2VoitVert -> av2_passe ->
AVION2).
||AV1_AV2 = (AVION1 || AVION2)/ {av2VoitRouge / av1VoitVert, aV2VoitVert/av1VoitRouge,
av2_laissePasser/ av1_passe,av2_passe/av1_laissePasser}.


AVION = (voitRouge -> laissePasser -> AVION | voitVert -> passe -> AVION).
||DEUX_AVIONS = (a:AVION || b:AVION||{a,b}::AVION)/{b.voitRouge/a.voitVert,
b.voitVert/a.voitRouge, b.laissePasser/a.passe, b.passe/a.laissePasser}.

Le vote par procuration

Cas procurations
Rédigé par Henri Habrias
version n° 1 du 18-05-2005
________________________________________________

Un électeur qui ne peut pour une des raisons énoncées par la loi voter en personne
lors d'un scrutin, peut donner procuration à une autre personne appelée le
mandataire. La personne qui donne procuration s'appelle le mandant.

L'Article L.75 du code électoral énonce que : "Le mandant a toujours la faculté de
résilier sa procuration. Il peut donner une nouvelle procuration." Et l'Article L.76
énonce que : " Tout mandant peut voter personnellement s'il se présente au bureau de
vote avant que le mandataire ait exercé ses pouvoirs."

Bien sûr, il se peut qu'aucun des deux ne vote.

Voici la spécification qui a été faite en LTS par Dudule. Vous allez utiliser LTSA
pour analyser et faire les vérifications de cette spécification.

range MANDATAIRES =0..1
PROCURATIONS = PROCU[0],
PROCU[mandataire: MANDATAIRES]=(donneProcurationA[mandataire :MANDATAIRES] -> procu
->annule -> plusDeProcu -> PROCU[mandataire +1]).
VOTE = (procu -> voteMandataire[mandataire :MANDATAIRES] -> STOP | voteMandant
->STOP | fermetureBureau -> STOP).
||VOTE_PAR_PROCURATION =(PROCURATIONS || VOTE).

Question n° 1

Rédigez vos constatations

Question n°2

S'il y a erreurs, énoncez-les par écrit.

Question n° 3

Donnez votre solution.

L'écluse

Un de mes sujets de Spec2

Il s'agit de spécifier le contrôleur d'une écluse. Il actionne l'ouverture et la
fermeture des deux portes (amont et aval) de l'écluse.
On considère le fonctionnement nominal : en aucun cas, les deux portes ne peuvent
être ouvertes en même temps.
C'est l'éclusier qui décide de l'ouverture et de la fermeture des portes et de
l'éclusage (remplissage ou vidage du sas, plus exactement, mise de l'eau dans le
sas au niveau amont ou mise au niveau aval).

Question n° 0
Faire un schéma des différents états de l'écluse...un dessin !
Donner les entrées et les sorties du contrôleur.
Noter la séquence des événements pour les deux scenarios :
- éclusage amont vers aval
- éclusage aval vers amont

Question n° 1 (nota : j'ai séparé en 2 questions mais bien sûr, j'ai fait les deux
à la fois !)
Spécifier avec des automates de Harel

Question n° 2
Spécifier en B (c'est souvent plus facile de dire les choses en B qu'avec les
automates, à moins de les compléter sans être sûr de la sémantique) classique et
événementiel.

On va plus loin...

On considère maintenant les bâteaux/navires. Les bâteaux/navirres ne sont autorisés
à entrer dans le sas que si le feu de la porte d'entrée (peut-être certains
considéreront des portes d'entrée et des portes de sortie...comme des dates de
naissance et des dates de décès ! voir l'exemple du tunnel et du sketch de Raymond
Devos) est vert, idem pour la sortie. On ne veut pas qu'ils commencent à sortir
alors que la porte n'est pas complètement ouverte. On ne prend pas en compte un
temps d'ouverture. Mais c'est l'éclusier qui fait passer les feux du rouge au vert
et du vert au rouge.

Bien sûr, (il faudrait faire trouver cette exigences par les étudiants...c'est ce
qui est intéressant en spec !) si le feu de la porte aval est au vert, le niveau
dans le sas doit être à la position basse.

On va plus loin...

Les bâteaux ou navires (chaque bâteau ou navire a une immatriculation. Voir annexe
sur la définition de ce qu'est un bâteau et un navire) arrivant à l'écluse se
signalent dès leur arrivée pour prendre un numéro d'ordre d'arrivée. L'éclusier lit
l'identifiant du bâteau sur la coque de ce dernier.
>Lors de l'éclusage, décidé par l'éclusier, l'éclusier fait entrer les bâteaux dans
le sas, pas forcément dans l'ordre d'arrivée (c'est son métier de positionner les
bateaux dans le sas avec le moins de manoeuvres possibles. On est loin de pouvoir
automatiser cela !), mais en faisant en sorte que la règle premier arrivée, premier
éclusé soit respectée.

Et en complément...traiter de l'identification des bâteaux et navires de
nationalité française.

Annexe :
L'immatriculation des navires consiste:
i) à attribuer au bateau un numéro à six chiffres, précédé des initiales des
quartiers d'immatriculation. Il sera porté sur la coque du bateau si celui-ci a une
puissance réelle supérieure à 7,36 kw (10 CV);
Dans l'immatriculation, les Lettres sont l'abbréviation du quartier maritime, et
les chiffres le numéro du bateau dans ce quartier.

Exemple de quartiers :
LO - Lorient
AY - Auray
VA - Vannes
SN - Saint-Nazaire
NA - Nantes
NO - Noirmoutier
YE - Yeu
LS - Les-Sables-d'Olonne
LR - La RochelleCherbourg = CH


Rappel des textes réglementaires

Tout navire de plaisance ( les engins de plage ne sont pas immatriculables)
naviguant en mer doit être immatriculé dans un service des affaires maritimes.
Le numéro d’immatriculation est porté sur le titre de navigation du navire qui est :

* Soit une carte de circulation (modèle simplifié) pour les navires d’une jauge
brute égale ou inférieure à 3 tonneaux délivrée par les affaires maritimes ;
* Soit un document commun douanes / affaires maritimes valant acte de
francisation et titre de navigation (carte de circulation) pour les navires
d’une jauge brute supérieure à 3 tonneaux.



Sont aussi soumis à la procédure de francisation, (détention d’un acte de
francisation) les navires de 3 tonneaux et moins se rendant dans les eaux
territoriales étrangères.

Par opposition aux Navires, qui sont les embarcations et engins destinés à aller
sur la mer, les Bateaux sont les embarcations circulant ou stationnant sur les
fleuves, rivières, canaux, lacs, retenues ou étangs d'eau douce, autrement
dénommées les Eaux Intérieures.

En conséquence, la distinction ne se fait pas sur les caractéristiques intrinsèques
de l'embarcation, mais sur le parcours qu'elle réalise, et sur son immatriculation
dans un quartier des affaires maritime ou dans un port fluvial ou lacustre.

C'est ainsi qu'une même embarcation pourra voire sa qualification varier selon son
immatriculation.

Ceci concerne les bâteaux allant sur l'eau salée. Quant à ceux allant sur l'eau
douce (les navires), c'est le ministère de l'équipement qui s'en occupe.

Il existe 10 Commissions de surveillance de la navigation {Nantes, Nancy, Lyon,
Douai, Bordeaux, Strasbourg, Toulouse, Varennes, Rouen, Paris}. Nantes est
identifié par la suite NT. Le bâteau est identifié par le couple (commission,
entier). Cet entier est le numéro d'ordre d'identification du bâteau dans la
commission. A Nantes, on vient de dépasser 4900.
Le bâteau peut conserver son premier identifiant toute sa vie. Mais il est possible
de faire une radiation et une nouvelle identification dans une autre commission.

Les bâteaux venant d'un autre pays que la France doivent respecter les règles de
leur pays d'immatriculation.

(informations vérifiées par téléphone auprès des Administrations concernées)

extrait du poly, sujets de TD Spec2 accessible via mes pages web.

"Far from us, Sire, the dangerous novelty of thinking"

"When King Ferdinand visited the conservative University of Cervera, the Rector proudly reassured the monarch with the words :
"Far from us, Sire, the dangerous novelty of thinking"
E. Dijkstra in A Debate On Teaching Computer Science, CACM, December 1989, Volume 32, Number 12


"So, if I look my foofy cristal ball at the future of computing science education, I overwhelmingly see the depressing picture of 'business as usual'. The university will continue to lack the courage to teach hard science ; they will continue to misguide the students and each next stage of infantilization of the curriculum will be hailed as educational progress."

E. Dijkstra in A Debate On Teaching Computer Science, CACM, December 1989, Volume 32, Number 12

L'éducation impose de "se souvenir de l'avenir plutôt que de flatter l'aujourd'hui"

Hans Jonas, philosophe allemand cité par Ph. Meirieu dans Le Monde du jeudi 25 nov. 2004, page 20

Nous ne sommes pas curieux, mais nous voudrions savoir ...

Proposition de plan de soutenance de projet
ou de stage
(en tout cas, points attendus par les enseignants de génie logiciel)

rédigée par Henri Habrias
version n° 3 du 8-04-05



- La demande du client
- Motivation de cette demande
- Délimitation du domaine qui a été considéré
- "Cycle" de développement suivi
- Comment a été fait le suivi de ce développement
- Comment est assurée la "traçabilité" tout le long du développement
- Planning initial et évolution de ce planning, évolution du périmètre du
projet (décisions prises en cours de projet)
- Spécifications fonctionnelles, choix de mode de développement (par ex.
"programmation défensive vs offensive, architecture en couche, etc.)
- Contraintes économiques, juridiques, normatives
- Exigences en termes de sécurité, confidentialité, disponibilité, etc.
- Architecture fonctionnelle
- Architecture physique
- Conception (de la spéc. fonctionnelle à l'implantation), les choix
possibles, ce qui a été choisi, justification
- Normes ou bonnes pratiques de codage, de documentation suivies
- Vérifications, techniques utilisées (preuve, model-checking, tests)
- Pour les tests, stratégies de tests, couvertures, oracles de test , échafaudages de tests construits (différence entre le livrable et le non livrable)
- Validation auprès du client
- Déploiement du logiciel, formation des utilisateurs, mode d'emploi etc.
- Etat final du projet (réalisé (spécifié, implanté, vérifié, validé,
etc.), reste à faire, état du dossier de suite ("développement durable" !)
- Qu'en est-il de la réutilisation possible du travail effectué ? Est-ce que ce projet peut être continué ou faudra-t-il recommencer à zéro ? Argumentation.
- Conclusion (écart entre but et réalisation, problèmes rencontrés et
solutions trouvées, élargissement du périmètre, etc.)
- "Démonstration" du logiciel
Pour celle-ci annoncez ce que vous voulez nous "démontrer" avant de faire des manipulations. Montrez que le logiciel fait bien ce qui était demandé, respecte les exigences.

H. Habrias

Erratum (Corrigé DS)

Je reçois à l'instant ce courriel (non anonyme) d'un étudiant
> Bonjour,
> Excusez-moi de vous déranger, mais en feuilletant votre correction à
> plusieurs, nous étions pas d'accord avec votre réponse de la question 12
> sur les arbres de Jackson. Votre réponse est JAC3 alors que nous auvon> mis JAC2. Avec JAC3, on est obligé de passer par DC (divorce) alors que
> normalement on devrait avoir un choix indéterministe entre DC(décès
> conjoint) ET DV.
>
> Merci.
>
> Jxxx Mxxxxx
>
>

Vous avez bien sûr raison. Une co(q)uille dans mon corrigé. Je communique cette réponse urbi et orbi !

C'est moi qui vous remercie.

Il devrait bien y avoir d'autres coquilles. Je n'ai pas imprimé le fichier et je suis plutôt mauvais pour détecter les coquilles sur écran !

Travailler à plusieurs c'est toujours bien. La relecture par autrui est une des meilleures techniques du génie logiciel !

Un livre rarement cité dans les biblios de spec

Pascal Gochet, Pascal Gribomont, Logique, méthodes formelles pour l'étude des programmes, Vol. 2, Hermes, 1994

Le certangle (Bubtangle)

Le certangle

Voici un autre terme que j'ai retrouvé sur la Toile. Mais sans la source. Alors voici ma contribution sur la Toile.
Dans mon Dictionnaire encyclopédique du génie logiciel, Masson, page 58 je cite Boar qui dans la défunte revue américaine Datamation, s'est amusé à proposer le Bubtangle. A l'époque, les américains utilisaient des bulles (des cercles)et des rectangles. Le Mac n'était pas encore né, avec ses belles icônes.
Extrait :
"Comme informaticien, j'ai été confronté à l'incompatibilité. Les compilateurs, les systèmes d'exploitation et même les symboles de 'processus' (le "Bubble") de Yourdon et De Marco vs les rectangles de l'Analyse structurée de Gane et Sarson) sont incompatibles. Je ne peux rien faire au sujet des systèmes d'exploitation ou des compilateurs mais j'ai une suggestion au sujet du symbole de 'processus'. Je propose à cet effet le Bubtangle *, une standardisation du symbole de 'processus'."
"Le Bubtangle offre à la communauté des informaticiens les avantages suivants :
- Il intégre les meilleures caractéristiques à la fois du cercle et du rectangle ;
- C'est un symbole internationalement reconnu ;
- Il sonne mieux que 'recle' ;
- Il est compatible vers le haut (ce qui n'est pas le cas de Cobol-80) et ne rend pas obsolète l'investissement actuel en technologie de la bulle ou du rectangle ;
- Il permettrait l'usage des bulles et des rectangles à de plus bas niveaux de décomposition, conservant ainsi l'investissement en diagrammes ;
- L'industrie nécessaire pour réaliser des millions de normographes de Bubtangles est prête du fait de la dépression ;
- Il éliminera la querelle Bulles/Rectangles ** et permettra aux équipes d'analyse de se focaliser sur d'autres thèmes ;
- Le Bubtangle est à 75% un rectangle et à 50% une bulle, ce qui fait un Bubtangle de 125% ;
- Il est non procédural, 'user friendly' ***, et relationnel **** ;
- Il fournit un terrain de rencontre pour les personnes fières de la bulle et celles fières des rectangles ;
- Il est compatible Ada" (Boar, Datamation *****)


* Je ne sais plus qui m'a proposé d'utiliser le terme certangle. S'il me lit, qu'il m'écrive. Je mettrai à jour immédiatement cette page !

** Chaque époque ne peut avoir sa "querelle des universaux" !

*** Les Français, qui n'ont pas lu Illich, disent "convivial"

**** Quelques années plus tard, on aurait dit "objet". Aujourdh'ui ? "Virtuel" ?

***** J'ai perdu la source et bien sûr, rien sur la Toile. Si quelqu'un a conservé l'article de Boar, qu'il me fasse signe.

Notre contribution au PPP

Quelques pistes :
CADP
TGV
CWB-NC
CWB (nous l'avons utilisé en Spec2 avant d'utiliser LTSA)
SMV

"S'es carculat tot l'aprés-miegjorn"

Mot à mot : Il s'est calculé tout l'après-midi
En limousin, veut dire : il a réfléchi.

Le corrigé de l'examen de spécification 2

Je vous l'ai adressé ce jour par courriel.
Accompagné du sujet avec le corrections fournies lors de l'épreuve de lundi.

Copie de mon courriel pour ceux qui systématiquement n'ouvrent pas les courriels des enseignants malgré les rappels au tableau d'affichage :

"J'attends vos explications AVANT le LUNDI 28 AVRIL 2008 à 17 heures
(copies à me fournir via votre représentant de groupe ET NON sous forme de
corps de messages de courriel.)
En effet, je dois respecter la date limite de rendu des notes. Il me
faudra lire vos explications. Soignez vos textes ! Je ne peux passer plus
d'une heure par copie !

Pour la même date, j'attends votre auto-notation (en respectant ce qui est
écrit dans le corrigé).

En fichiers attachés .pdf, le sujet avec corrections faites lors du D, et
le corrigé."

P.S. les collègues lecteurs de ce message peuvent me demander par courriel, sujets et corrigés

Dans le Dictionnaire de la bêtise, cette citation :

Dans le Dictionnaire de la bêtise, cette citation :

"Amphibie
Exemple et définitions :
Les baleines, ces colosses de la création, sont des animaux à mamelles comme nous. Ils sont amphibies, c'est-à-dire qu'ils peuvent vivre simultanément dans l'eau et dans l'air.
Le Petit Marseillais, 30 mai 1926

Testez vos connaissances

voir le sujet fourni ICI

Le scandale de l'informatisation des retraites au Japon

"toujours impossible d'identifier l'origine de 20,25 millions de versements. Logiquement, les cotisants ne pourront pas recevoir les versements qui leur sont dus."

"En 1997, le gouvernement a décidé d'attribuer à chaque affilié un numéro unique, comme en France. [...] Dix ans après, elle a dû reconnaître que près de 51 millions de cotisations restaient non identifiées. Et comme personne n'a pris la peine de demander aux mairies qui détenaient les dossiers originaux de les conserver, nombre de municipalités les ont détruits, empêchant à tout jamais de reconstituer les données individuelles."

"[...] à l'époque de l'informatisation de la Sécurité sociale, en 1980. Il avait alors fallu entrer les noms de tous les cotisants, mais les premiers systèmes informatiques ne permettaient pas l'inscription des patronymes avec leurs caractères chinois, les kanjis. Les noms ont donc été enregistrés en fonction de leur prononciation, au moyen des caractères de l'alphabet phonétique katakana. Or, chaque kanji ayant plusieurs prononciations possibles, les mauvaises transcriptions se sont multipliées. Un phénomène aggravé par la mauvaise volonté de fonctionnaires hostiles à l'informatisation."

Heathrow et l'informatique

Chaos au terminal 5

"British Airways, la seule compagnie à utiliser le nouveau terminal pour l'instant, a attribué les problèmes à "une combinaison de facteurs", notamment des problèmes de parking, qui ont empêché les employés de se rendre à leur poste, et des erreurs informatiques qui ont paralysé le système de tri des bagages.

L'ouverture du nouveau terminal --inauguré par la reine Elizabeth II en fanfare au début du mois-- s'est transformée en cauchemar jeudi." site de l'Expansion

Nous enquêtons pour en savoir plus sur ces "erreurs informatiques". Le Financial Times ne, le Monde, ne nous en apprennent pas plus. Je vais voir mes collègues britanniques.

Quand un éditeur acceptera-t-il de nos jours de publier une analyse de ces erreurs (un excellent outil pédagogique !), certes toujours difficile à faire .

Retour de DS

- le corrigé sera mis sur mes pages web module spec2 et je vous indiquerai la date limite de fourniture de vos explications, comme cela est indiqué sur le sujet.
- le sujet
- Il est conseillé aux futurs étudiants de s'informer à la source et non sur des blogs qui usurpent le nom de l'iut (voir mon blog informatiqueetorganisationsociale)

Comme annoncé, les réponses se trouvaient sur le bloc-notes. Ainsi pour le Mont-Blanc (je vous ai renvoyé plusieurs fois à ce message !) ICI
- des compléments éventuels au barème y seront portés
- Tout cela sera public
- Ainsi que les réponses (anonymées) à la question sur le tunnel du Mont Blanc. Je ne savais pas que nous avions dans le département informatique autant d'auteurs pour nos comiques. Gérard Miller qui a écrit pour Devos, Bigard, Jolivet a du soucis de concurrence (Communication and concurrency, on n'en sort pas !) à se faire, tout normalien qu'il est.
Pourtant je vous avais prévenu en amphi. Mais sans doute s'agit-il d'une rencontre du troisième type. Il faudra un module spec3 de spécialité à ajouter à notre PPN.

- Vos dossiers de spec2 vous seront rendus avant votre départ en "grandes vacances".

Le rendez-vous manqué ...

Dudule n'a pas rencontré Ninie Peau d'Chien en même temps que Dutif a rencontré Ninie Peau d'Chien. C'est tout à fait possible !

Mais certains d'entre vous (beaucoup, je donnerai les chiffres) considérent que Dchnock peut rencontrer Ninie Peau d'Chien à un moment différent du moment où Ninie Peau d'Chien rencontre Duchnock. Ce devait être un rendez-vous ...manqué, ou on ne parle pas du même Dudule et de la même Ninie Peau d'Chien. What under a name ? (voir nos pages Spec1). Ou une rencontre du troisième type ...

Communication par rendez-vous, CCS, FSP, transitions Rdp, bof, bof, bof...

Comme a dit l'autre... on n'a plus qu'à se "casser" si on ne peut plus se serrer la main.

Une erreur dans le graphe de transition d'états du manoir hanté

repérée par Cédric. Merci à lui. Normal ... c'est le seul étudiant ayant fait l'exercice (nous avions demandé il y a plus de 4 semaines, de faire cet exo "à la maison")
Une des transitions est mal étiquettée. Laquelle ?

Un bon truc pour les enseignants qui donneront cet exo à leurs étudiants pour repérer les "copies serviles".

Salut à vous chers collègues.

Le manoir hanté de W. Ross Ashby

Dans le chapitre 5 du polycopié des TD de Spec2, je vous ai reproduit l'exercice extrait du livre de Ross Ashby, An introduction to cybernetics. Un vieux livre (1956), publié dans une collection d'auteurs inconnus, j'y note un dénommé Albert Einstein avec ce titre bateau "Relativity". Rien sur la Toile (en fait, si vous cherchez bien, mais suppose que l'on ne fasse pas que surfer). Donc ...peu intéressant. On ne trouve pas le corrigé des exos sur la Toile.
Alors, si on est dans la situation où on entend le rire sardonique (1)(the Laughter) et le chant (the Singing), que faut-il faire pour que le manoir devienne calme et le reste ?

Les actions sont :
- jouer de l'orgue (ce mot qui est masculin au singulier et féminin au pluriel !)
- faire bruler de l'encens

Les états sont les éléments du produit cartésien :
SINGING ={0, 1}
LAUGHTING = {0, 1}
SINGING X LAUGHTING

On va soit représenter soit par une matrice, soit par un graphe (un automate de Mealy : sur les flèches on mettra les actions), le comportement raconté dans le texte. Il s'agit de savoir lire (2). Je préfère un dessin (un graphe). Mais tout dépend de votre popre "psychologie cognitive", liberté, liberté à vous. D'après mes observations, celles du prof de maths, il semble que les étudiants "nouvelle génération" soient rétifs à l'écriture y compris les schémas. Alors vous pouvez aussi faire cela dans votre tête.

"The Singing, in the succeeding minute, will go on as it was during the preceding minute (sounding or silent) unless there was organ-playing with no Laughter, in which case it will change to the opposite (sounding to silent, or vice versa)."

"As for the Laughter, if there was incense burning, then it will sound or not according as the Singing was sounding or not (so that the Laughter copies the Singing a minute later).
If however there was no incense burning, the Laughter will do the opposite of what the Singer did."


Vous trouverez l'automate ICI

Le chemin conduisant de l'état (1,1) à l'état (0, 0), est noté en gris.

- Stop the incense burning for one minute;
- next stop the incense and play the organ ;
- finally, start burning the incense again ;
in future keep it burning and never play the organ


(2)ce que nos ministres nous assurent garantir sous peu à l'entrée en 6ième. Mais le candidat à la présidence de la République nous avait assuré des baisses d'impôts et aujourd'hui nous annonce que c'est remis à plus tard. La fameuse propriété de fatalité ! fatalement un jour ... mais dans le long terme a dit Keynes, nous serons tous morts. Quid de la lecture ?


(1) (au fait, ça veut dire quoi ?
Dans le Robert historique de la langue française, on apprend :
"d'abord dans ris sardonic ou sardonien(v. 1560, Paré : sardonien peu avant dans du Bellay), puis (ris) sardonique (1660), reprend le latin sardonicus risus, calque du grec sardonios gelôs (rire malveillant) Sardonios étant interprété comme "de Sardaigne", le rire sardonique étant expliqué par les effets de la sardonia (herba) "herbe" de Sardaigne ...
Rire sardonique se dit d'une grimace rappelant le rire, due à la contracture spasmodique des muscles de la face. Sous l'influence de sarcastique, l'adjectif s'applique à un irre qui donne à la bouche une expression de moquerie méchante (1762) puis à ce qui exprime une intention méchante. (v. 1770)"

Preuves

"Une seule démonstration me frappe plus que cinquante faits."

"C'est en cherchant des preuves que j'ai trouvé des difficultés"

Diderot, Pensées philosophiques

Je vais arrêter de pisser dans un violon

... mes jeunes collègues me disent qu'ils pissent le plus souvent dans un violon quand ils sont en cours ou en TD.

Je ne suis donc pas le seul.

J'ai dit cela aux étudiants d'un de mes groupes de TD. Mais beaucoup ne savaient pas ce que cela voulait dire, et d'autres justement illustraient le fait que j'étais en train de pisser dans un violon.

Alors voici une page qui explique excellement ce que signifie cette expression:
Merci à son auteur

ou encore sur ce site tout aussi plaisant.

Vive la langue française, un outil de spécification.

Histoire de l'enseignement des spécifications à Nantes

ICI

"c'est que tout le monde ..."

"difficultés majeures. La première, c'est que tout le monde, quasiment sans exception, manque et de lucidité et de franchise, si bien que beaucoup d'acteurs font comme si de rien n'était."

Jean-Hervé Lorenzi, Est-il encore temps d'éviter la dépression mondiale ?
(sur la "titritisation" et ses conséquences)
Le Monde du 21 mars 2008, page 20

Tiens, tiens ...

Etat et transition (par Pierre Desproges, de Châlus)

"L'état de mort ne me gêne pas. C'est le fait de passer de la vie à la mort qui me gêne. Une fois que je serai mort, je ne suis pas sûr que j'aurai envie de revenir."

Pierre Desproges

Question pour DS :
Soulignez en rouge les termes représentant des états
Soulignez en bleu les termes représentant des événements

L'équité (L'hypothèse d')

Dès que l'on désire montrer qu'un système concurrent satisfait une propriété de vivacité, il est nécessaire de supposer que l'entrelacement entre les différentes transitions n'est pas tout à fait arbitraire car on peut avoir des exécutions où un processus n'exécute jamais une transition.
Aussi ajoute-t-on une hypothèse d'équité sur les exécutions admises.

Il s'agit d'une restriction sur les séquences infinies de transitions permises.

Différence entre le | (parallèlisme) de CCS et le || de FSP

En CCS, seuls deux processus peuvent entamer en même temps un évenement de synchronisation. Si plus de deux processus sont prêts, le choix du couple qui le fait est indéterministe.
Ainsi en CCS, ((a.P) | (a.Q) | (a'.R)){a} permet à R d'être partagé entre P et Q.

En FSP,
P=(a->P).
Q=(a->Q).
R=(a->R).

Quand on lance l'exécution, on constate qu'il y a un seul événement a à exécuter.

P=(a->p->P).
Q= (a->q->Q).
R= (a->r->R).

La piscine en FSP (LTSA)

Le sujet se trouve dans le polycopié des TD de Spec2, présent sur nos pages web.
Après l'avoir traité en RDP, on va le traiter en FSP.

Merci à Sébastien qui a eu l'idée et a appliqué LTSA au cas piscine.

Nous allons suivre une démarche archétypique.

Nous allons commencer par spécifier le comportement d'un client (BAIGNEUR) qui n'a aucune contrainte,i.e. comme s'il était seul client à la piscine. C'est plus facile que de vouloir tout dire du premier coup !
Bien sûr, on a dans la tête des patrons (patterns en anglais) de systèmes. Voila pourquoi nous avons utilisé des noms génériques habituels comme get une ressource, release, rendre, une ressource. Ici getp est mis pour prendre un panier, relp pour rendre panier.

BAIGNEUR = (entre -> getc -> deshabille ->
getp -> relc -> baignade -> getc -> relp ->
rhabille -relc -> sort -> BAIGNEUR).

On pouvait décomposer en :

PREPARATION = (getc -> deshabille -> getp -> relc -> BAIN),
BAIN = (baignade -> SORTIE),
SORTIE = (getc -> relp -> rhabille -relc -> sort -> BAIGNEUR),
BAIGNEUR = (entree -> PREPARATION -> BAIGNEUR).

On peut spécifier le nombre de baigneurs.

const NB_B = 3

Maintenant spécifions les contraintes.
Passons à l'économie (gestion des ressources rares). Les ressources sont les paniers, cabines.
Abstrayons le comportement des ressources, quelque soit le type de ressource, panier ou cabine.

RES_MULT(N=5) = RES_MULT[N],
RES_MULT[i:0..N]= (
when(i>0) get -> RES_MULT[i-1] |
when(i RES_MULT[i+1]
).

Spécifions le nombre de cabines et le nombre de paniers.

const NB_C = 2
const NB_P = 1

Maintenant, nous spécifions le système PISCINE en mettant en parallèle les processus baigneurs, cabines et paniers.

||PISCINE = (b[1..NB_B]:BAIGNEUR ||c: RES_MULT(NB_C) || p:RES_MULT(NB_P))

et en spécifiant les contraintes de synchronisation entre ces processus. Pour cela, on est amené à utiliser le renommage.

{b[1..NB_B].getc/c.get, b[1..NB_B].relc/c.rel, b[1..NB_B].getp/p.get, b[1..NB_B].relp/p.rel}

et l'opérateur interface :

@{b[1..NB_B].entre, b[1..NB_B].deshabille, b[1..NB_B].baignade, b[1..NB_B].rhabille, b[1..NB_B].sort}.

extrait de notre polycop Spec2, non distribué.

Petit à petit nous mettrons des extraits de ce poly (il nous faut enlever les commandes latex) sur ce bloc-notes ou sur nos pages.

Erratum

Sur le polycopié des TD, chapitre 5 (exos sur le livre de R. Ashby)

Dans les matrices des premiers exercices, remplacer les en-têtes de lignes par alpha et bêta et gamma et epsilon (au lieu de a, b, etc.)
Il y a aussi un exercice où la matrice a deux lignes d'en-tête a, changer en alpha et bêta

A l'anonyme

Nous ne publions pas les messages anonymes.
Nous ne citons aucun nom d'étudiant sur ces pages sauf si accord de l'étudiant dans le cas par exemple où un étudiant nous a fait part d'une erreur (voir le principe du droit d'auteur, lequel s'applique d'ailleurs au logiciel)

Et nous rappelons que notre notation des copies ne se fait pas en fonction des remarques des étudiants.
Le barême et le corrigé sont fournis (et publics ! via nos pages sur la Toile et Bloc-notes) et les étudiants pratiquent l'auto-notation. Lors du DS de spec1, ils ont pu se rendre compte que l'enseignant (et c'est le cas général de nos jours) interprète le barême (quand il peut en appliquer un et le même à toutes les copies !) de manière particulièrement "avantageuse" (i.e. pour montrer qu'il est efficace : il a de bonnes notes). Si d'aucuns peuvent dire qu'il y a des injustices, celles-ci viennent en général du fait qu'"avoir une bonne moyenne" c'est pénaliser les bonnes "copies relativement aux mauvaises.

Il se peut même que les étudiants remarquent des erreurs dans nos écrits, nous les
remercions pour cela (voir nos remerciements dans les livres que nous avons publiés) et publions leur corrections.

Quand nous fournissons une solution en TD, c'est pour que les étudiants puissent la critiquer. Nous vous rappelons que nous vous demandons :
- de fournir votre travail
- de fournir la solution fournie par l'enseignant
- les solutions d'autres étudiants, éventuellement de meilleure qualité
- d'expliquer en quoi votre solution est meilleure, erronée, ...

Et non pour qu'ils rendent un dossier, recopies du tableau !

Joyeuses Pâques
et/ou
Bonne fin de semaine prolongée


"Les lettres anonymes ont le grand avantage qu'on n'est pas forcé d'y répondre."
A. Dumas fils

En rire ou en pleurer ...

The Strategic Alignment

Il y a quelques mois, le Monde nous a narré ce canulard

"Clémentine Marcovici et Benjamin Frémaux, deux jeunes polytechniciens en troisième année de l'Ecole des Mines, ont défendu le 14 juin dernier devant un parterre choisi de dirigeants d'entreprise et de consultants, est aussi drôle qu'incongru. (...)

Pour faire sérieux, le concept se devait d'adopter un nom anglais. Il fut donc baptisé Strategic alignment et ses grandes lignes développées dans une note d'une dizaine de pages. Nos faussaires l'affirment dans cette bible : l'entreprise doit être appréhendée selon trois pôles : l'Etre (la majuscule apporte une touche de solennité), le Dire et le Faire. Ensuite, il suffit de mettre les trois actions en cohérence. Mais attention: il ne faut prendre de décision qu'à l'intersection de chaque pôle qui, dans la note est appelée l'effective target zone.

Evidemment, vu comme ça, on ne donne pas cher du succès de cette théorie. Sauf que les étudiants ont emballé leurs salmigondis d'un papier cadeau doré sur tranches. Selon eux, cette théorie aurait été publiée par deux éminents profs de Harvard (...)

Ce travail de fin d'études souligne de brillantissime manière la vacuité des théories de management élaborées par des aspirants gourous qui font leur tambouille dans de vieilles soupières pycholo'tacticiennes usées."

source

Voir aussi la gazette des Mines
et le blog de l'éco du Monde

Erratum

Des étudiants lecteurs perspicaces ont vu une erreur dans le document Raffinage, Model-checking et preuve...

page 10, 4.2.

P= ab* doit être écrit en FSP :

P= (a -> ETAT 1 | a -> STOP);
ETAT1 = (b -> ETAT1).

ou si on veut éviter que LTSA nous dise qu'il y a un deadlock car quand on arrive à STOP on ne peut aller plus loin,
écrire
P= (a -> ETAT 1 | a -> STOP),
ETAT1 = (b -> ETAT1 | b -> STOP).

Mais cela colle moins bien à l'expression régulière

Il faut noter que les automates adéquats aux systèmes réactifs sont les automates de Buchi (tout à l'heure j'avais un trou de mémoire), voir par exemple
http://fr.wikipedia.org/wiki/Automate_de_B%C3%BCchi
http://fr.wikipedia.org/wiki/Automate_fini

Les algoristes

Les algoristes

L'association Les algoristes

Elle a pour objet la coopération entre "algoristes", c'est à dire artistes utilisant pour leur art des algorithmes développés par eux-mêmes, en matière de conception, de création, de communication et de présentation des oeuvres au public. Sa création a été inspirée par le groupe américain Algorists.

Les réunions se tiennent chaque mois. Autour des algoristes se retrouvent aussi des amis intéressés par leurs travaux ou leur apportant leur concours. Sur invitation.
La coopération prend forme dans des projets coopératifs. Actuellement: Primeval et l'atelier Alkwarel. Vous pourrez bientôt l'utiliser directement en ligne sur ce site, sans aucune connaissance en programation.
Les dernières nouvelles de l'association sont disponibles sur son blog. On trouvera une abondante documentation sur les sites, blogs et documents publiés sur ce site des membres de l'association.

Pour aller plus loin nous nous orientons vers un emploi systématique du langage Processing. Si quelques while et autres void(myartist){} vous donnent des démangeaisons dans les doigts, nous vous encourageons vivement à télécharger le logiciel, disponible 24/24 et 7/7 en téléchargement gratuit. Et si vous persévérez, nous serons alors heureux de vous accueillir dans notre communauté de développeurs.
Le président24/2/2008
Pour le plaisir : une délicate démonstration de Processing, due à Xavier Gouchet.


Extraits de la première page de leur site web

Le dernier cours

a eu lieu ce matin, amphi 4 de 8 h à 9h.
Ce fut aussi mon dernier cours en amphi à l'IUT de Nantes. Je n'en ferai plus dans cet établissement. Nous rentrons dans l'histoire ... lire ici l'histoire de l'informatique au département informatique de l'Iut de Nantes (rédaction en cours)

J'ai traité :

• suite de B événementiel, différences avec B classique, les preuves à faire
• le raffinage du buffer à deux places
• les entrées/sorties du cas Chariot

Le DS aura lieu le jeudi 27 mars, de 8 heures à 10 heures 30.

Mes prochains exposés auront lieu à Budapest, le samedi 29 mars, puis à Nice Sophia-Antipolis, le vendredi 4 avril ... Vous y êtes invités.

un lecteur parfait

"Quand je tâche de me représenter un lecteur parfait, il en résulte toujours un phénomène de curiosité, et en outre quelque chose de souple, de rusé et de circonspect, un aventurier et un découvreur-né."

Nietzche

ecce homo

Puisque le PPN (mon collègue britannique Bill, trouve désolant que des enseignants du supérieur aient besoin d'un Programme Pédagogique National. Il trouve que c'est contradictoire avec enseignement supérieur.) dit que les étudiants n'ont plus à savoir spécifier. Mais seulement à savoir lire une spécification (lire sans comprendre ? analphabète vs illettré ... merci Frédo pour ta définition. Et si nos comités théodules inscrivaient ma citation de Frédo dans le prochain PPN.

Il y a aussi la nouveauté du PPN, le PPP. Une merveille pédagogique ! Le module idéal pour les étudiants. On y fait du copier-coller, des posters (des affiches, en bon français). Bien sûr en ignorant tout des beaux-arts... Mais depuis la maternelle Uhu est bien connu ! Le père Uhu, Ubu ...
Mais des enseignants valeureux heureusement font leur possible pour en profiter pour apporter des connaissances. Mais ...comme nous l'a expliqué un expert lors d'une réunion à Paris (il n'est bonne science que de Paris !) : "on ne peut faire boire un âne qui n'a pas soif". Ce que me disait ma grand-mère (et elle me le disait aussi en patois limousin (en langue d'oc)). Et je n'ai jamais pensé que c'était une insulte !
Mais je ne savais pas ma grand-mère experte en pédagogie supérieure.

Quant au PPPP, j'en fus le fondateur à l'Université de Poitiers.

C'est toujours mieux ailleurs, n'est-ce pas ?

Les sites web où l'on trouve des sujets d'examen du prof avec des corrigés faux, des dossiers de td foireux, etc...
Alors que le prof vous a fourni des pages web, des polys, des pages de bloc-notes , des supports de cours adressés par courriel... avec les questions traitées.

Depuis quelques années, dans différentes matières, les enseignants lisent des réponses idiotes répétées dans de nombreuses copies, parfois même des réponses n'ayant rien à voir avec la question ... Nous savons d'où elles viennent.

Comment a-t-on pu en arriver à une telle situation en France ?



Pour info, message à l'adresse des parents :

Chers parents,
Ne venez pas rouspéter parce que le 12 mars votre fils qui est en première année n'est pas encore admis en 2ième année.
Un peu d'effort ! je sais nous ne sommes pas efficaces...Mais un de ces jours dès la naissance .... Le droit au diplôme !

Et sachez que votre fils (mais il est majeur, nous ne citerons pas de noms ! ) a reçu il y a un certain temps un bulletin de notes (oui, oui comme dans les petites classes).
Ce n'est pas parce qu'il ne vous l'a pas montré que ce bulletin n'existe pas...

Et ce n'est pas parce que vous ne voyez jamais travailler votre fils qu'il faut en conclure que tous les enseignants sont des fumistes, ne donnent rien à faire, enseignent du vent. Ou que votre fils est un génie méconnu. Ou qu'il est né avec un cuillère d'argent, pardon, une souris dans la bouche...

Ce n'est pas parce que les frais d'inscription sont ridiculement bas comparé aux avantages (ciné, resto U, sécu,...) qu'il faut en déduire que l'université ne vaut pas ces merveilleuses écoles supérieures, mondiales, galaxiques d'informatique, qui se payent de la pub (30 % de leur budget) à la télé ou sur le cul des bus !

Enfin, chers parents, sachez que les enseignants n'exigent pas que vos enfants viennent en cours et en td avec leur lecteur mp3, des écouteurs aux oreilles. Qu'il existe une cafétaria à l'IUT où ils peuvent papoter, lire le journal. Et qu'enfin, il ne faut pas considérer que les droits d'inscription donnent droit à utiliser les salles de TD comme cyber-cafés pendant les séances des enseignants.

Nous disposons même d'une bibliothèque sur place. Et entrer à la bibliothèque n'est pas dangereux pour la santé. Lire de même.

P.S. : j'oubliai. Pouvez-vous payer à vos enfants, une gomme, un crayon et un cahier. Pour venir en cours et en TD. La peinture blanche n'est pas nécessaire.
Idem pour leur stage en entreprise. Il est pour le moins gênant qu'un maître de stage me demande de dire à l'étudiant qui doit faire son stage dans son entreprise de se munir de ces instruments.

J'ai adressé à toutes et tous les transparents de mes cours

et ai annoncé qu'un poly était tiré à votre intention. Mais qu'il fallait venir le chercher à mon bureau.

Je n'ai vu personne.

Bof, bof, bof...

Hier les collègues qui ont fait cours en 1ière année ont été particulièrement écoeurés de l'attitude de pas mal d'étudiants dans l'amphi.

Bof, bof, bof....

On comprend qu'en TD beaucoup fassent autre chose que les exercices...

Des parents s'étonnent qu'en informatique il n'y ait rien à faire. Ils téléphonent à l'IUT pour savoir si c'est bien le cas.

Etonnant n'est-ce pas !

J'invite les parents à venir en cours et en td. Transparence !

Rappel : un exemple de raffinage en B et avec LTSA

Une belle question pour le DS


- Exposé au CNRIUT de Brest (2006)

Le corrigé de l'exercice

Voici ce que je vous ai proposé :

P1 = (get -> in -> put -> P1).
P2 = (get -> out -> put -> P2).
SEM =(get -> put -> SEM).
SYS = (P1 // P2 // SEM).

Il est évident (il suffit de lire) que la première action sera une action commune aux trois processus : get. Cela signifie que P1 et P2 prennent la main (c'est le cas de synchronisation). IL N'Y A donc pas exclusion mutuelle !

Entrez la spec sur LTSA et faites un run, vous verrez...

Voici ce qu'il fallait faire :
P1 = (p1.get -> in -> p1.put -> P1).
P2 = (p2.get -> out -> p2.put -> P2).
SEM =(get -> put -> SEM).
SYS = (P1 // P2 // {p1,p2}:: SEM).

Faites l'automate et vous verrez.

Si vous ne saviez pas ce que faisait ::
vous pouviez écrire :

P1 = (p1.get -> in -> p1.put -> P1).
P2 = (p2.get -> out -> p2.put -> P2).
SEM =(p1.get -> p1.put -> SEM p2.get -> p2.put -> SEM).
SYS = (P1 // P2 // SEM).

Remarque : j'ai constaté que le "pipe" ne "passait" pas sur blogspot. Aussi ai-je utilisé //

cours du lundi 10 mars

J'ai traité ce matin (de 8h 15 à 9h15) :

• les sémantiques du parallélisme (synchrone, asynchrone, mixte)
• avec ce qu'il en est en FSP
• J'ai donné un exo (deux processus et un sémaphore pour exclusion mutuelle). J'ai demandé si l'exclusion mutuelle était bien satisfaite. Et j'ai donné la réponse : non car ...
• en fin de cours, pour ceux qui écoutaient encore, j'ai donné la solution... , sujet de DS.
• J'ai traité de l'équivalence entre processus, équivalence forte et faible. J'ai illustré par le buffer à deux places

J'ai rappelé que le cours sur B événementiel fait l'objet d'un chapitre du poly de spec1. A étudier à tête reposé sans le bruit de l'amphi (étonnant que venir en cours à 8h15 par un temps de tempête ...pour dormir ou papoter ! J'espérais ce matin ne pas avoir à réclamer le silence.)

Bien sûr au DS questions sur le B événementiel. Si vous avez des questions sur ce sujet, n'hésitez pas à me les adresser par écrit.

Le DS a lieu la semaine 17.

Vous vous auto-noterez comme pour le DS Spec1.

Il y aura des questions relatives à ce qui a été demandé dans le DS Spec1.

Ce matin :

52 présents (52 signatures). Je n'ai pas compté 52 ... Faux et usage de faux ou faiblesse de mon système de comptage ?

Quel est le % d'informations énoncées qui a été perçu par 50 % des présents ? Il faut faire des recherche en télépathique ! ... ou attendre le DS

Les projets de Clearsy

English Version - Vous ne parvenez pas à lire correctement cette lettre...

ClearSy ouvre l'année 2008 sur de nombreuses actualités et projets.Parmi eux, nous pouvons citer la création d'un nouveau site dédié au projet DOF1, ainsi que la participation de ClearSy à la Conférence B de Nantes qui se déroulera le 16 juin prochain...

Du côté des projets, nous présenterons dans cette lettre :

Le projet OISAU (Ouverture et Interopérabilité pour Systèmes Autonomes), qui réunit de nombreux acteurs du secteur industriel et militaire,

Le projet Urbalis Evolution, en collaboration avec Alstom Transport, qui concerne le métro de Pekin.

Le projet Ouragan, qui vise à la réalisation des logiciels embarqués permettant de piloter les métros de la ligne 5 du réseau RATP.

Vous êtes désormais 1610 à lire cette lettre. Merci de votre intérêt et bonne lecture.
Nouveau site dédié au projet DOF1ClearSy vous propose depuis début février le tout nouveau site DOF1, site projet dédié au Dispositif d'Ouverture et de Fermeture des façades de quai, SIL4. Accéder au site : Dof1.eu

Conférence : La Méthode B, de la Recherche à l'EnseignementL'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes. (suite)

Conférence ABZ 2008 du 16 au 18 semptembre 2008, à LondresLa conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d'une journée commune et de 2 journées propres à chaque communauté. (suite)

Plus d'actualités...
Projet OISAU : Ouverture et Interopérabilité pour Systèmes AutonomesLa DGA est maitre d'oeuvre d'une étude qui définira le standard d'architecture des futurs systèmes autonomes à vocation militaire...(suite)

Projet Urbalis EvolutionDepuis près de deux ans ClearSy participe aux côtés d'Alstom Transport au développement des logiciels sécuritaires du métro de Pekin (Beijin) qui doit être très prochainement mis en service pour les jeux olympiques de 2008. (suite)

Projet OuraganClearSy assiste AREVA pour la réalisation de logiciels non de sécurité de l'équipement Bord du système de contrôle commande qui permet de piloter les métros de la ligne 5 du réseau RATP. (suite)

Dixit le directeur de la recherche de MS

"Le traitement parallèle n'est enseigné presque nulle part, alors qu'il devrait être inclus dans tous les programmes d'enseignement"

Anrew Herbert, Directeur du laboratoire de recherche de Microsoft, Cambridge, U.K.
Discours à la Sorbonne
Le Monde de la semaine dernière

• Nous avons introduit, il y a pas mal d'années à l'iut, cet enseignement (certes peu développé, mais nous avions bien peu d'heures !). Nous avions pu obtenir (avec peine. Quelle idée d'enseigner cela ! est-ce que le Programme Pédagogique National en parlait ?) l'achat d'un kit pour utiliser le langage Occam. Notre collègue Jean-François doit toujours avoir ce kit dans son bureau.
• Nous avions participé à un projet européen sur l'enseignement du parallélisme (projet Papillon), dont des extraits sont sur nos pages et dont nous avons fourni cette année à un étudiant de première année, les cours et exos
• Notre module Spec2 traite de parallélisme.
• Depuis une dizaine d'années, le volume consacré dans notre département aux spécifications ne fait que diminuer. C'était paraît-il le "sens de l'histoire", "l'adaptation au nouveau public", blabla blabla ware.

Nous sommes donc "presque nulle part".

Cours du 3 mars 2008

de 8h15 à 9h15

J'ai traité :

- RDP (suite) , conflit, parallélisme, synchro, partage de ressource, sémaphore
- RDP(suite), Test à zéro, RDP coloré, RDP interprété, Matrices
- GRAFCET, différences GRAFCET/RDP
- Début de B événementiel : le cours se trouve dans le polycopié Spec1 et ICI, y voir aussi la porte en B classique vs la porte en B événementiel

Ces points sont des questions du DS

Prochain cours :
- fin B événementiel

- vérification de propriétés avec LTSA

- preuve vs model-checking (un exemple ici :

- Exposé au CNRIUT de Brest (2006)

P.S.

Je vous ai préparé une liste et pointeurs vers les prouveurs et model-checkers disponibles dans le monde, ICI

Rien ne va de soi. Rien n'est donné. Tout est construit.

"les problèmes ne se posent pas d'eux-mêmes. C'est précisément ce sens du problème qui donne la marque du véritable esprit scientifique. Pour un esprit scientifique, toute connaissance est une réponse à une question. S'il n'y a pas eu de question, il ne peut y avoir connaissance scientifique. Rien ne va de soi. Rien n'est donné. Tout est construit."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, p. 1

Bref, y'a du boulot ! Le pré-cuit, le pré-maché, le digest c'est indigeste. Ca fait crever les sociétés... et les "promotions" d'étudiants.
Ma bonne dame, mon bon monsieur, notre promotion universitaire : trois années d'études pour le prix d'une ! Pas d'examens, pas de dossiers, pas de livres à lire, de cours à suivre, d'exercices à pratiquer. Et le wifi pour tous.


Madame la boulangère, du pain pas cuit s'il vous plait ! que de fois j'entends cette demande formulée par de jeunes clients ... Le femme du boulanger, elle en a de la chance ! bientôt elle ne sera plus réveillée en pleine nuit par son boulanger de mari. Merci client, merci client.

la première connaissance objective ... une première erreur

"Au spectacle des phénomènes les plus intéressants, les plus frappants, l'homme va naturellement avec tous ses désirs, avec toutes ses passions, avec toute son âme. On ne doit donc pas s'étonner que la première connaissance objective soit une première erreur."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, page 54

Le programme de la conférence FORMED 2008, Budapest

ICI

Votre déclaration d'amour pour la Saint-Valentin

Robert Solé dans son billet du Monde de ce jour, nous informe que la Cité des sciences et de l'industrie de Paris propose son assistance.Sur le site http://www.cite-sciences.fr/declaration-st-valentin/, vous indiquez le prénom de l'élu(e), sa qualité première, la couleur de ses yeux, son adresse électronique, et en moins d'une seconde la machine lui envoie un joli poème de votre part.Robert Solé a essayé ... lire son papier

Je vous offre un psychothérapeute

"Les enseignants doivent de nos jours être des personnes à l'écoute des problèmes des élèves"
a dit ....
alors, voici

ICI

Parlez-lui en Anglais.

Je vous adresserai ses honoraires. Paiement en euros, cartes acceptées : Visa, Master card, American Express

Mais si vous voulez une thérapie en français, c'est moins cher, mais donc bien moins efficace. Lisez Freud !

ICI