"...Tant que .i. huisselet bien serré
Trové petitet et estroit :
Par autre leu nus n'en issoit.
A l'uis commençai a ferir,
Qaunt antree ne poi querir.
Asez i feri et bouté
Et par maintes fois écouté
Se j'orroie venir nul ame.
Le guichet, qui estoir de charme
Adonc m'ovri une pucele
Qui assez estoit gente et bele :
Chevous ot blonz com .i bacins ;
La char plus blanche c'un pocins, (...)
Quant einssi m'ot l'uis defermé
La pucele au cors acesmé, Je l'en mercié bonemant "

Guillaume de Lorris, Le Roman de la rose, Coll. Lettres gothiques, Le Livre de poche, 1992, traduc. de A. Strubel
 

" ...jusqu'au moment où je découvris un portillon bien fermé, tout petit et étroit : nulle part ailleurs on n'en sortait.
Je commençais à frapper à la porte, puisque je n'avais pu trouver d'entrée. Je frappai et heurtai à plusieurs reprises et maintes fois j'écoutais si je pouvais entendre arriver âme qui vive. Enfin, une jeune fille m'ouvrit le guichet, qui était en charme : elle était très noble d'allure et belle, avec des cheveaux blonds comme un bassin de cuivre, une chair plus blanche qu'un poisson (...)
Lorsqu'elle m'eut ainsi ouvert la porte, la jeune fille au corps bien paré, je lui en dis grand merci (...)

• Blogs pour les projets que j'encadre :
• http://b2latex.blogspot.com/
• http://projetboliviainti.blogspot.com/
• Blogs des modules d'enseignement dont je suis responsable :
• http://nantespec1.blogspot.com
•  http://nantespec2.blogspot.com 
• http://moduletgl.blogspot.com/
• http://informatiqueetorganisationsociale.blogspot.com

Le livre que tous les étudiants de première année devaient lire (en partie, le reste étant à lire plus tard dans leur cursus ) en 2003-04

Le livre de 2003-04

Charles Durand, La mise en place des monopoles du savoir, L'Harmattan
Charles Durand est professeur d'informatique. Bien sûr à lire en gardant son esprit critique.

Un excellent site ...ce que vous n'avez pas compris quand vous étiez en terminale.  Merci à son auteur, Colette Kouadio de nous avoir autorisé à mettre ce lien sur nos pages.

Quelques liens sur des pages de cours et exercices de collègues (merci à eux pour l'autorisation de mise de lien)

Génie logiciel

Les pages d'informaticiens conseillés

Quelques logiciels qui valent le détour

Un cahier des charges, celui de la 2 CV

Qu'est-ce que le génie logiciel ?

Module Spécification 1

Module Spécification 2

Méthode de spécification formelle B

Module Techniques du Génie logiciel (TGL)

Ecole de printemps du génie logiciel

Le site du  livre Software Specification Methods (H. Habrias, M. Frappier)

Le site du livre Spécification formelle avec B ( Hermès oct. 2001)  (H. Habrias, J.Y. Lafaye, M.L. Potet)

Quelques articles récents

Divers

Projets, Stages

Enquête sur l'enseignement de B dans le monde/Investigation into the teaching of B worldwide

 
Henri Habrias, Marc Frappier, Software Specification Methods, Edition 2004, ISTE, U.K., USA, ISBN : 1-905209-34-7
nouveaux participants : E. Börger (ASM), L. Lamport (TLA), D. Cansell, D. Méry (Event B), et une classification des méthodes  et un dictionnaire des termes utilisés.

Pierre Abélard, Colloque international de Nantes, (sous la  direction de Jean Jolivet et Henri       Habrias, PUR, ISBN : 2-86847-777-1, 2003

L'index des notions et personnes citées dans ce livre.

Bert D., Habrias H., Viguié Donzeau-Gouge V. (sous la direction de),
Méthode B, numéro spécial de la revue RSTI-Technique et science informatiques, Vol. 22- n°1/2003, ISBN : 2-7462-0651-X

Le livre de Mathématiques pour l'informatique de Thierry Brugère et Alain Mollard vient de sortir chez Ellipses.

Table des matières
Préface

Journée Informatique et Droit du 4 avril 2003 à Nantes
RDV dans Le Monde Informatique du 18 avril 2003

Journée Informatique et Droit du 2 avril 2004 à Nantes

Module Informatique et Organisation sociale (Droit, Histoire de l'informatique, Organisation du travail, etc.)

DESS, Génie logiciel, économie, droit et normes (Fac des sciences et des Techniques de Nantes)

Le module MSS8 "Outils de modélisation et de spécification"
(Ecole Doctorale STIM)

Conférence Pierre Abélard, à l'aube des universités (Programme, renseignements pratiques : hôtels, transports, etc.)

Secourisme

        Nantes, hôtels, infos pratiques, photos

Photos  : Royal de Luxe 2001
Photos  : Année Jules Verne, Royal de Luxe 2005
Photos  : le premier vol de l'A380

---

Choses diverses et variées :
- la mirabelle de Thionville

méfiez-vous des erreurs (certes, les informaticiens ne font pas d'erreur - mais des bugs  qui ont la manie de se coller dans les programmes  comme le bug qui s'était collé sur un relais d'un des premiers ordinateurs) qui peuvent (qui se trouvent certainement !) se trouver dans ces pages !

H. Habrias
dernière mise à jour : 07-02-2007