Génie logiciel (mais pas seulement !) pour les curieux / Software Engineering and not only

dimanche 19 juin 2011

Le livre " Structures de données et méthodes formelles"

de Marc Guyomard est paru chez Springer.

http://www.springer.com/computer/book/978-2-8178-0199-5

Ne le ratez pas !
Ce n'est pas un de ces livres dont vous n'arrivez pas à tirer plus d'un transparent (creux) après lecture !

dimanche 29 novembre 2009

Trois excellents cours

- programmation
- compilation
- dialogue homme-machine

de notre collègue Marc Guyomard, ENSSAT, Lannion

http://www.irisa.fr/cordial/mguyomar/docDispo-15-09-05.htm

mercredi 25 novembre 2009

Démontage de vélos

le jeudi 26/11/09 : Atelier de désossage de vélos à Vélocampus à Nantes

Si tu veux :

récupérer des pièces d’occasion pour réparer ton vélo,
récupérer un vélo gratuitement pour le réparer (16 vélos disponibles pour novembre),
aider à constituer un stock de pièces d’occasion pour l’atelier, RdV le 26 entre 13h et 17h (goûter offert).

L’atelier du mois dernier a compté une petite dizaine de personnes qui ont demonté 6 vélos dans une ambiance très conviviale et ont ainsi constitué un stock de pièces d’occasion gratuites pour tous les adhérents.

Un excellent TP pour apprendre à penser avant d'agir... Lecture préalable conseillée :

Traité du Zen et de l'entretien des motocyclettes de Robert Pirsig :

http://fr.wikipedia.org/wiki/Trait%C3%A9_du_zen_et_de_l%27entretien_des_motocyclettes

Mais je suis sûr que quelqu'un qui lit ces pages a lu ce livre.

Des publication sur la méthode B

http://www.methode-b.com/php/publications-methode-b-fr.php

Lancement du projet eFrench

http://www.laurentbloch.org/spip.php?article166

"

jeudi 19 novembre 2009.

Il y a exactement deux ans, j’écrivais ici-même un article intitulé Typographie, morale et diversité culturelle où, entre autres points, je faisais l’éloge d’une extension à LaTeX destinée plus particulièrement à la langue française, french, dont l’auteur, Bernard Gaulle, était hélas disparu prématurément.

À l’instigation de Michel Volle, j’ai entrepris de reprendre le flambeau de french, avec l’autorisation de Catherine Gaulle, l’épouse de Bernard. Ce sera le projet libre eFrench, comme pour eTeX : extended TeX => extended French. Jean-Côme Charpentier et Sébastien Mengin ont bien voulu embarquer avec moi, heureusement, parce qu’ils sont bien plus compétents que moi en LaTeX.

Voilà, pour l’instant nous avons créé le site du projet , un grand merci à l’exellente plate-forme de projets libres Tuxfamily.org, qui comporte tous les outils nécessaires configurés de façon à être immédiatement utilisables. Nous avons donc un dépôt Subversion peuplé de la dernière archive laissée par Bernard, une liste de diffusion (nous trois), un site Web (vide). Il n’y a plus qu’à se mettre au travail ! Les volontaires qui veulent se joindre seront les bienvenus.

Pourquoi ai-je fait cela ? Juste parce que french est le seul système de typographie française qui me satisfasse, et que j’en ai besoin : j’écris tout avec LaTeX, même à mon contrôleur des impôts. Pourquoi la mise en route a-t-elle été si lente ? Eh bien parce que je suis assez occupé ces temps-ci."

Go To Statement Considered Harmful: A Retrospective

http://david.tribble.com/text/goto.html

mercredi 4 février 2009

Les comportements débiles

Y a pas meilleur que ce qui est caché ...
http://iuteasyone.free.fr/DS2006.2007.1annee/Semestre%201/Spec%201/
Des étudiants créent des pages web où ils mettent des copies de mes devoirs avec parfois des corrigés (en fait sans explication) faux...et c'est ainsi que je me suis retrouvé avec 60 copies identiques et idiotes. Comme on pose des sujets avec des questions élémentaires, il est bien difficile de ne pas poser toujours les mêmes questions. D'ailleurs vous pouvez vérifier sur mes autres blogs, j'annonce mes questions lors des cours et dans les CR de cours. Mais je ne demande pas toujours 2 + 3 = ? parfois c'est 3 + 2 = ? et même 9 + 1 = ? . Alors j'ai eu des copies qui me parlaient d'étudiants et de groupes alors que le sujet portait sur des commandes et des produits !

Et cela alors que sur mes blogs et sur mes pages, il y avait ces sujets et les corrigés avec explications ! et j'ai même fourni cela AVANT le DS ! et j'ai fait des courriels de rappel !
voir
http://nantespec1.blogspot.com/
http://nantespec2.blogspot.com/
Quant aux séances de corrections où je réponds aux demandes individuelles des étudiants, ...je n'ai pas eu plus de 5 étudiants. Il est vrai que je n'étais pas payé pour les faire. Elles ne valaient donc RIEN. Nous vivons dans un monde formidable.

P.S. 1

Si les enseignants ne fournissaient pas d'annales, de corrigés etc., je comprendrais que les étudiants fassent ce travail (bien que ce ne soit pas à eux à faire ce pourquoi les enseignants sont payés). Mais dans mon cas c'est affligeant. Bon, cela m'a permis de partir en retraite plus facilement, mais j'aurais préféré continuer avec plaisir.

P.S. 2

Je vais faire quelques cours cette année. Je continuerai mes pratiques. Je suis indécrottable !

P.S. 3
Étudiant maintenant dans une formation qui met à la disposition des étudiants un excellent site madoc, je constate l'absence totale d'utilisation des outils qu'y sont le forum etc. Les TIC ne changent guère les comportements TOC !

vendredi 28 novembre 2008

Il fait canoniser Ingrid !

Ce matin sur Europe 1, une journaliste nous
 parle d'Ingrid Betancourt et
nous apprend qu'elle est un peu mystique,
 qu'elle a lu plus de 20 000
fois la bible lors de sa captivité !!!!!
1 bible par jour 20000 fois = 55 ans de lecture
1 bible par semaine 2000 fois = 38 ans de lecture
1 bible par mois 200 fois = 16 ans de lecture.

Elle lit plus vite que ne file un boulet de
canon tiré par la grosse Bertha !

Merci Thierry pour cette illustration des limites de la....

S'il y a une seule chose à retenir en spécification
c'est cette notion de limite, domaine de définition
de fonctions etc

P.S. je sais... c'est mal spécifié. Et il faut
interpréter dans le sens "on ne me raconte
pas de conneries".
La journaliste voulait sans doute (en fait je blague !)
dire qu'elle a ouvert la bible plus de 20 000 fois.
C'est ainsi que l'on met de bonnes notes. Je n'ai pas eu
besoin de stages de formation
pour satisfaire mes ministres de droite et de gauche,
afin de satisfaire "la pression sociale".

jeudi 27 novembre 2008

The Equations of Computer Science

BCS-FACS Evening Seminar Series -- Joint event with the London Mathematical Society

The Equations of Computer Science

Professor John Tucker (Swansea University)

11 November 2008

5.45pm

London Mathematical Society
De Morgan House
57-58 Russell Square
London WC1B 4HS
United Kingdom

[ Presentation slides | Seminar Programme | Location of Venue | Registration ]

Abstract

Throughout science and engineering our knowledge of the world is most elegantly and usefully expressed in equations. Most fields have equations they use all the time and are treasured for the profound insights they reveal through their study. Several equations are truly famous, especially those of physics. But what are the equations of Computer Science?

BCS-FACS Evening Seminar Series -- Joint event with the London Mathematical Society
The Equations of Computer Science

Professor John Tucker (Swansea University)

11 November 2008

5.45pm

London Mathematical Society
De Morgan House
57-58 Russell Square
London WC1B 4HS
United Kingdom

This lecture will examine the role of equations in specifying data, software and hardware. I will show how skills in equation formation have transformed our capacity to analyse computing systems of all kinds. I will explain the historical context and development of these ideas in algebra, logic, and computability theory and how they were transformed to solve practical questions of programming. Finally, I will discuss how these conceptual insights and methods are finding new applications in the foundations of physics.

Refreshments will be served from 5.30pm

The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca your name by 7 November 2008. Pre-registration is required.

Histoire du Computing Laboratory d'Oxford

http://users.comlab.ox.ac.uk/bernard.sufrin/historyfortalk.pdf

L'ordinateur en Kit, l'Alcyane et la bande à Bouhot

Un Fil d'Ariane. Tome II. , Microprocesseurs et Conception des petits ordinateurs ‪
Jean-Pierre Bouhot, Georges Cottin, Jean Tricot ;
préf. de Jean-Claude Pelissolo,..
Paris : Ed. d'Informatique, [1979]
1 vol.(335 p.) : ill. 28 cm
Recueil de textes extraits pour la plupart de : Informatique nouvelle, 1974-1979
Autre variante du titre
Microprocesseurs et conception de petits ordinateurs
ISBN 2-901001-09-2

La bande à Bouhot comme on disait alors avait publié de quoi fabriquer chez soi un micro-ordinateur. Je me souviens avoir acheté le kit en tant que secrétaire du CILO (Club Informatique Loire Océan). Et ce sont des élèves du Lycée Livet qui ont fait le montage.
L'ordinateur fut ensuite vendu sous le nom d'Alcyane. Nanard que j'ai eu comme prof de langage machine à l'Iut de Montpellier en a fait le traitement de texte.
Le CILO avait loué un appartement dans le quartier de la mairie. On y faisait des cours d'initiation à l'informatique, gratos.
J'avais invité Bouhot pour une conférence qui eut lieu à l'Iut.

Je me souviens aussi d'un repas à la maison avec Jean Tricot qui avait travaillé sur la réservation des places à la Sncf. Il avait utilisé les "diagrammes de Bachman". Il était venu nous faire un exposé sur une des premières application des bases de données (IDS de Bachman). J. Tricot avait été stagiaire dans une entreprise japonaise. Il nous avait raconté la vie des entreprises japonaises. Plus tard nous lirons et verrons Stupeur et tremblement d'Amélie.
J. Tricot n'était-il pas parent au philosophe traducteur de l'œuvre d'Aristote ?

Les flops de l'informatique

ICI

Depuis que j' fais d' l' informatique Je n'ai plus que des embêtements

Artist: Chanson Plus Bifluorée lyrics
Album: Other Song Lyrics
Title: L'informatique

Lyrics L'informatique :

Depuis que j' fais d' l' informatique
Je n'ai plus que des embêtements
Ah mon dieu quelle gymnastique
C'est pas tous les jours très marrant
Mais attendez que j' vous explique
Tout ce qui cause mon tourment :

J'ai le Mac qu'est patraque
Le PC déglingué‚
Le Pentium sans calcium
J'ai l'écran qu'est tout blanc
L' disque dur pas bien dur
Le clavier tout bloqué
Le Modem qu'a la flemme
L' imprimante bien trop lente,
La cartouche qui se touche
Et les buses qui abusent
Les polices qui pâlissent
L' dvd fatigué
Le scanner qu'a ses nerfs
L' menu pomme dans les pommes
L' cd rom c'est tout comme
La mémoire sans espoir
Les options en option
La souris rabougrie
Le mulot qu'est trop gros

Ah mon dieu qu'c'est palpitant
Toute cette informatique
Ah mon dieu qu'c'est palpitant
Mais qu'est ce qu'on perd comme temps

Comme j'ai un bug dans le système
J' téléphone au réparateur
Y' me demande quel est l' problème
Je vous écoute j'ai un quart d'heure
J' lui dis soyez pas si pressé
Et laissez moi vous expliquer :

J'ai le Mac qu'est patraque
Le PC déglingué
Et puis j'ai ajouté
Voyez vous ce n'est pas tout :
J'ai L' e-mail qui s'emmêle
Les circuits qui sont cuits
L' raccourci riquiqui
J'ai l'index qu'est perplexe
Les pixels en rondelle
L' USB constipé
J'ai les bits qui s'agitent
La sauvegarde pas gaillarde
La disquette qui caquette
L' utilitaire qu'a des vers
Les icônes qui déconnent
L' processeur qu'est farceur
Le graveur quelle erreur
Le lecteur qui bat l'beurre
L' moniteur et ta sœur

Ah mon dieu qu'c'est palpitant
Toute cette informatique
Ah mon dieu qu'c'est palpitant
Mais qu'est ce qu'on perd comme temps

J' ai invité la belle Suzanne
L' autre jour au cybercafé
Elle m'a dit : «j'préfère ta bécane
Allons chez toi fais moi surfer !»
Hélas ma machine est en panne
Que j'lui réponds, j'suis désolé :

J' ai le Mac qu'est patraque
Le PC déglingué
J' ai l'écran qu'est tout blanc
L' disque dur pas bien dur
Le clavier tout bloqué
Le Modem qu'a la flemme
L' imprimante bien trop lente
La cartouche qui se touche
Et les buses qui abusent
Les polices qui pâlissent
L' dvd fatigué
Le scanner qu'a ses nerfs
L' menu pomme dans les pommes
L' cd rom c'est tout comme
La mémoire sans espoir
Les options en option
La souris rabougrie
Le mulot qu'est trop gros
Et puis j'ai ajouté
Voyez vous, ce n'est pas tout :
J'ai l' e-mail qui s'emmêle
Les circuits qui sont cuits
L' raccourci riquiqui
J'ai l' index qu'est perplexe
Les pixels en rondelle
L'USB constipé
J'ai les bits qui s'agitent
La sauvegarde pas gaillarde
La disquette qui caquette
L' utilitaire qu'a des vers
Les icônes qui déconnent
L' processeur qu'est farceur
Le graveur quelle erreur
Le lecteur qui bat l' beurre
L' moniteur et ta soeur
En plus d'ça, J'vous l'cache pas
J' ai aussi, quel soucis
Les octets pas très frais
Les virus plein d'tonus
Les majuscules qui s'bousculent
Les minuscules qui copulent
Le Windows qu'est morose
Les programmes, c'est un drame
Et la puce en lotus
Le cordon en tire-bouchon
L' MS DOS qu'a des bosses
Les menus mal foutus
Le logi-ciel mon mari !
Et l'audio qu'est idiot
La carte son qu'est marron
La couleur quelle horreur
Les fenêtres qui s'pénètrent
Les symbôles qui s'affolent
Le système bien trop blême
Le réseau qui prend l'eau
Et du coup, voyez vous
Il vaut mieux qu'vous partiez
Car je sens, c'est navrant
Qu' j' peux plus rien maitriser !..

Ah mon dieu qu'c'est palpitant
Toute cette informatique
Ah mon dieu qu'c'est palpitant
Mais qu'est ce qu'on perd comme temps
Ah mon dieu qu'c'est affolant
Toute cette informatique
Ah mon dieu qu'c'est affolant
Mais qu'est ce qu'on ferait sans...

http://www.lyricsmania.com/

"Que nul n'entre ici

s'il est illusionniste. Inversement, toute philosophie, tout discours et tout texte qui évitent ce lieu gardent les coudées franches pour tromper indéfiniment et paraître à chacun ne jamais se tromper. Le critère de vérité c'est le risque d'erreur. Le seul chemin vers l'invention, c'est le consentement total à se tromper, devant les autres. Tout le reste n'est que pouvoir."

Michel Serres in La naissance de la physique dans le texte de Lucrèce, Editions de Minuit, 1977

James Martin

Informaticiens qui n'êtes pas nés de la dernière pluie de novembre, vous devez vous souvenir de James Martin.

http://www.jamesmartin.com/

Un sacré personnage !
Il vit maintenant dans une ile privée aux Bermudes !

Et il a remercié son alma mater :

The James Martin 21st Century School

With the largest alumni philanthropic donation ever made to a UK
university, Martin gave $100 million in 2005 to help establish The James
Martin 21st Century School at the University of Oxford; its stated goal is
to "formulate new concepts, policies and technologies that will make the
future a better place to be".

"A transition, unique in human history will occur.
If the transition goes well, humanity has a magnificent future. If it goes badly, we may be thrown into a new Dark Age or worse."

Si ça va bien ça va bien, si ça va mal ça va mal. Mais oui, bien sûr, il a raison le bonhomme ! Une raffarinade mais vous en connaissez vous de telles donations à nos universités françaises ?

Armin-parm

Une présentation en est donnée par Pierre Pacini, directeur à Promo-Informatique dans le n° 45 de la défunte revue Informatique et Gestion.

Une suite de la méthode Cantor, avec des outils logiciels "support" comme on dit maintenant dont un générateur de programmes. J'ai suivi le cours d'Armin-Parm. Il avait lieu près de l'Arc de triomphe de l'Etoile (maintenant Place Charles De Gaulle), dans un bâtiment qui a servi aux discussions sur la fin de la guerre du Vietnam.http://fr.wikipedia.org/wiki/Accord_de_Paix_de_Paris

L'Etat le vend. Lire Le Moniteur, extrait :
"L'Etat vend le prestigieux Centre international de conférence à Paris
C'est incontestablement l'une des plus grosses ventes prévues dans le cadre des cessions immobilières du gouvernement. Cet immeuble situé avenue Kléber à Paris est qualifié d'"exceptionnel" par France domaines, le service chargé de la stratégie immobilière de l'Etat.

Construit sur l'emplacement de la résidence de la Reine d'Espagne Isabelle II de 1868 à 1904, alors appelé Palais de Castille, ce bâtiment fut un hôtel de luxe, Le Majestic de 1908 à 1936, avant d'accueillir l'Unesco de 1946 à 1958, puis une annexe du ministère des Affaires étrangères jusqu'à nos jours.
Pendant la deuxième guerre mondiale, il fut le siège du haut commandement militaire allemand à Paris. Le Quai d'Orsay en a fait un Centre international de Conférence qui vit notamment la signature du traité de paix mettant fin à la guerre entre le Vietnam et les Etats-unis, des pourparlers de paix pour le Cambodge, des discussions entre Arabes et Israéliens ou encore, plus récemment, une conférence pour la reconstruction du Liban."

J'ai retrouvé cela dans le poly Cantor, publié par l'Iut de Nantes.

J'y note "La méthode est utilisée par 30 entreprises dont 13 ont acquis les programmes...dont la banque Hervé, Metti, la Société Générale, la Compagnie Générale Transatlantique"

Quand j'aurai du temps, je scannerai le polycopié de Cantor pour l'éducation des masses laborieuses des informaticiens ! Mais la retraite ne laisse guère de temps.

L'enseignement de la programmation

http://www.codinghorror.com/blog/archives/000635.html

Un lien et une discussion fort intéressante. Merci Sébastien.

Au fait, quelle connerie que d'avoir introduit le signe de Ricorde (=) pour l'affectation ! Vive le Cobol avec son MOVE ou LSE avec sa flèche ou Pascal avec :=.