"All shall have prizes"

"Henceforward he would give them two grades: an "ironic" grade that would go on their official records, and a realistic grade that he would reveal to them only in private. "

source :http://www.cis.ksu.edu/~schmidt/misc/econ14apr.html

à lire et à relire

Nous allons vous fournir un "marking scheme"

comme disent les Anglais.
Vous disposez déjà du barème de notation du ds.

Je suis en train de lire des copies pour tester mon schéma de notation (une règle, un algo).
Patience.

Si un étudiant veut me faire une proposition, je suis preneur. On en discutera. Le consensus c'est bien.

Le but de la note : être un indicateur du niveau de compréhension. Une seule valeur, ce n'est pas fameux. Mais c'est ce qu' "ON" demande dans les écoles.

Dans tous les cas, sachez que quelqu'un qui a 10 ne vaut pas 10 fois celui qui a un. Et celui qui a 10 vaut combien de fois celui qui a 0 ?

Celui qui a 10 a répondu correctement à plus de questions (ou, plus exactement....car les questions ont un poids) que celui qui a 3.

On traitera de théorie de la mesure en TGL en info2. Voir mon livre La mesure du logiciel.

"All too many academics are content to hand out A-grades like confetti in return for favourable teaching ratings and more time to devote to research."

Allez lire http://www.cis.ksu.edu/~schmidt/misc/econ14apr.html

Quelques extraits de textes trouvés sur la Toile :
"The role of the External Examiner is in the first instance to ensure students’ work and marking levels equate to other Universities of equal standing. ..."
"I say that our system of tests and grades, as it now exists, is one source of the low yield of great men from our universities. The marking system is a ..."
" Finally, marking standards in all modules are subject to a system of independent checks carried out by external examiners appointed from other universities. ..."
"I hate marking so much that I've almost considered rejoining the Association of University Teachers (AUT), just so I can join in their assessment boycott. ..."
"It is now routine for university documents to be laden with management-speak. We are also required to produce endless lists of marking criteria, ..."
"All modules shall be assessed in accordance with the University's agreed marking criteria,"

Je ne suis pas télépathe !

Des dossiers de specs sans nom d'auteur ?

Et dans le tas de dossiers, des dossiers d'autres modules !

Dossiers de TD

La grande majorité des dossiers fournis NE respectent pas les consignes.
Je comprends le besoin d'agrafes ! si un "dossier" est défini comme un tas de feuilles agrafées, j'ai effectivement des dossiers !

Il fut un temps où nos étudiants se faisaient embaucher en montrant au futur employeur leur dossier de TD de spécifications (je vous ai montré un de ces dossiers).

Je viens de parcourir les tas de "dossiers", bien bien peu sont montrables !

Le DS

Comme annoncé, vous disposiez du corrigé du DS en sortant de l'épreuve ce matin.

Une version imprimée et dactylographiée va être à votre disposition quand les "rattrapages" auront eu lieu.

Nous vous rappelons le travail que vous devez faire avec ce corrigé...

Vous pouvez vous auto-évaluer.

Vous avez pu constater que les questions étaient du type annoncé. Et que le dernier exercice comprenait bien deux questions annoncées dans mes courriels.

Le prochain cours pour ceux qui ne savent pas écouter et aussi pour ceux qui savent

Comme il est impossible d'avoir plus d'un quart d'heure de silence sur une heure " de cours" dans l'amphi , vous étudierez où bon vous semble :

http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/boxologie.html

http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/relationn-aire.html

Ce que je ferai en cours :

Je répondrai oralement aux questions circonstanciées qui m'auront été adressées par courriel sur ce cours.

Comme toujours je fais la relecture de tout exercice que me communique un étudiant. Et on peut ensuite en discuter.

Mais je ne suis pas surchargé par ce travail !

Une intro à B d'une collègue de l'IMAG (21-12-06)

Une intro à la méthode B de ma collègue de l'IMAG


http://www-lsr.imag.fr/users/Marie-Laure.Potet/methodeB.pdf

voir aussi sur sa page un cas traité jusqu'à l'implantation. Voir aussi chapitre de mon livre sur B avec un cas complet traité (interfaces etc.)

corrigé test de rattrapage (20-12-06)

le corrigé est en 1 (UN) exemplaire sur papier dans la case du groupe 1, couloir bât. F

Corrigé de travail à faire chez soi (19-12-06)

Pratiquez l'auto-notation
>
>
> MACHINE
>     bis repetita
> SETS
>     PERSONNE; SECTION_CNU
> VARIABLES
> est_candidat_a_poste_etiquete_par_section_CNU , est_qualifie_a_section_CNU
> INVARIANT
>   est_candidat_a_poste_etiquete_par_section_CNU : PERSONNES <-->
> SECTION_CNU  &
>   est_qualifie_a_section_CNU : PERSONNE <--> SECTION_CNU
> /* CNU : Comité National des Universités */
>
> Question 1 Spécifiez la contrainte : (sur 6)
>
> "Tout candidat à un poste étiqueté par une section donnee du CNU doit
> être qualifié dans cette section."
> ===========================================================================
> est_candidat_a_poste_etiquete_par_section_CNU <:
> est_qualifie_a_section_CNU :
> ===========================================================================
>
> Question 2 Spécifiez la contrainte :  (sur 6
> "Tout candidat à un poste étiqueté par une section donnee du CNU est
> qualifié à une section du CNU" (en fait on dit "est qualifié en 27ième"
> par exemple, pour l'informatique)
> ===========================================================================
> dom(est_candidat_a_poste_etiquete_par_section_CNU) <:
> dom(est_qualifie_a_section_CNU )
> ============================================================================
> Question 3, Des étudiants ont écrit pour spécifier que "des personnes
> sont membres de sections du CNU" (langage naturel) :
>
> personnes : SECTION_CNU
> et d' autres les ont corrigés en écrivant :
> personnes <: SECTION_CNU.
>
> Qu'en pensez-vous ? (on considère que la spécification que j'ai fournie
> n'est pas à modifier) (sur 4)
> ===========================================================================
> personnes : SECTION_CNU
> personnes est de type PERSON. un ensemble de personnes ne peut
> appartenir à un ensemble de SECTION_CNU.
> Attention au langage naturel ! "appartenir" est un peu comme le verbe être
> !
> personnes <: SECTION_CNU.
> Pas mieux !
> ============================================================================
> Question 4 : Rappelez les 4 sens du verbe être selon Gottleib Frege et
> donnez des exemples et contre-exemples pour chacun de ces sens.
> (sur 4)
>
> Existence :
> SECTION_CNU = {01, 02, ....., 27,....}
> Contre-exemple : dans notre cas, il n'existe pas des hommes, des femmes
> (car non déclarés comme concepts)
> Appartenance :
> dudule : PERSON
> Contre-exemple : dans notre cas, 383 /: SECTION_CNU
> Inclusion :
> sections_sans_qualifiés <: SECTION_CNU
> Contre-exemple :
> sections_sans_qualifiés : POW (SECTION_CNU)
> Dénotation
> L'étudiant qui se place toujours à côté du radiateur et L'étudiant qui
> arrive toujours en retard dénotent le même étudiant, Duchnock.
>
> Vous me fournirez votre réponse par écrit via le représentant de votre
> groupe, dans la case enseignants (couloir Bât. F) avant vendredi
> 15-12-2006, 18 heures
>
> Il reste encore deux groupes qui n'ont pas eu le sujet de travail à
> faire chez soi. Que les représentants de groupe viennent chercher au
> secrétariat ce travail à distribuer dans leur groupe.

Message du 4-12-06

1) En cours j'ai traité du raffinage (ex de l'implantation de 1 et de dix sur 3 bouliers (japonais, chinois, russe))
et ai donné et expliqué le théorème du raffinage.
2) Il y a eu le test
3) Les copies du travail à faire chez soi doivent m'être remises via les représentant de groupe dans le casier enseignant avant ce soir 18 heures.
4) J'attends votre autonotation du test (me la fournir via votre représentant de groupe. A lui de demander une feuille de saisie de notes au secrétariat)
5) le corrigé va vous être adressé par courriel aujourd'hui ou demain.
6) Question rappelée :
6.1.) combien peut-on écrire d'entiers sur un boulier soroban de 10 tiges (le soroban comme les autres bouliers présentés en cours est fait pour la numération décimale). NB : la réponse 1 entier n'est pas celle attendue. Bien sûr qu'à un moment donné je ne peux avoir qu'un seul entier de saisi sur le boulier !
6.2.) Maintenant imaginons un boulier à dix tiges qui a une boule par tige. Même question.

Un nouvel outil pour B (30-11-06)

Un nouvel outil pour B


http://www.clearsy.com/html/Brama.htm

Pour ceux ayant des notes incomplètes (le 27-11-06)

voir http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/Notationniam.html

N.B. : pour les exercices du poly des td qui ne seraient pas traités pendant le td (Hors des exercices que l'enseignant vous donne à faire chez vous), je suis prêt à étudier vos solutions et à en discuter.

Suite à un message d'une étudiante (le 27 novembre)

ne étudiante m'a fait fort opportunément remarquer que dans le schéma Niam fourni ce matin, il y avait deux "idées-types" identiques "is responsable of". Vous supprimez celle de droite et la contrainte d'exclusion. La contrainte entre teaches et is responsable of est une égalité (les deux domaines sont égaux ou codomaine si on considère l'autre sens).
Attention, on trouve des verbes identiques pour des relations (maths) différentes (ex: teaches), c'est qu'en langage naturel on dit "qu'un enseignant enseigne un sujet (une matière) et enseigne un cours".

Une flèche comme de Teacher vers Staff est dite "de sous-typage" : teacher hérite des relations de staff. Tout enseignant étant un membre du Staff (ie Teacher <: Staff), tout enseignant a un sexe et un seul et est événtuellement marié à un autre membre du Staff. Ouf, tous les enseignants ne se marient pas entre eux ! ("endogamie professionnelles") voir citation de notre ancien ministre Claude Allègre)

Vous trouverez dans le poly les 16 cas de relations binaires entre ensembles et les diverses représentations graphiques (dont UML qui n'est pas la plus claire !)

Message du 27 novembre

Cours :

J'ai traité de :

- Commentaires sur un schéma NIAM : identification composée (avec le produit direct), contraites d'exclusion, égalité, inclusion
- différence concept, nom
- rasoir d'Occam
- les 4 sens du verbe être d'après G. Frege
- importance de la composition, les COTS
- Composition de machines :le SEES, INCLUDES (avec PROMOTES et EXTENDS), dit deux mots sur le USES
(J'ai utilisé des schémas pour présenter ces primitives de composition)


TD:

Peuvent être donc faits les td sur calcul de préconditions avec les différentes substitutions de B
et les td sur la composition de machines (dont celles que nous avons étudiées dans les premières séquences)

Travail à rendre pour le prochain cours (1 copie par étudiant, 1 étudiant par copie !) :
spécifier (sans opérations) ce qui est écrit dans le schéma NIAM distribué en cours ce jour.

Message du 21 novembre

En cours ce jour j'ai traité :

1) des axiomes des substitutions dont celui (de celle qui est interdite au niveau MACHINE, le séquencement)
2) de la différence entre une opération d'interrogation (observateur) et une commande (opération changeant l'état). J'ai montré aussi un cas de machine sans invariant et donc sans variable.

Attention ! les paramètres des opérations (paramètres formels) ne sont pas déclarés dans l'invariant (normal ! il ne font pas partie de l'état de la machine)

TD
Nous sommes maintenant dans la séquence n° 3.

L'ISBN

J'ai fait et ferai plusieurs fois référence à l'isbn dans mes exemples. Voir :

http://www.afnil.org/

pour l'isbn nouveau sur 13 positions

Message du 14 novembre

1) Je vous ai fait tirer un chapitre de mon livre "Introduction à la spécification" sur les bases de la logique. Essentiel pour le cours de spécification et pour tout informaticien.

Lire aussi :
http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/histoirelogique.html
http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/symboles.html
http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/attribut.html

2) je considère que tous les étudiants dispose du poly Spécifications avec B faute de réclamation avant ce soir 18 heures.

3) prévoyez un test sous peu. Questions : idem à celles des td et des petits exemples du poly ou du cours en amphi.

4) prévoyez aussi un "travail à faire chez soi" à rendre à 8 janvier date impérative.