lundi 22 septembre 2008

Teaching B

Les journées scientifiques de l'Université de Nantes 2009 auront lieu le 8 juin 2009.

Une deuxième conférence The B method: from research to teaching ???

voir http://teachingbconference.blogspot.com/

Lancement de la version 4.0 de l'Atelier B (gratuite)

Lors de la conférence B qui a eu lieu à la BCS (British Computing Society) à Londres la semaine dernière, a été annoncée la disponibilité de la version 4.0 béta

Aller à http://www.atelierb.eu/

L'Atelier fonctionne sous Windows et MacOs et bien sûr comme toujours, sous Linux.

Vous le demandiez, Clearsy l'a fait. Merci à eux.

Pour info, la prochaine conférence B devrait avoir lieu non loin de Sherbrooke au Canada (Québec) dans deux ans.

dimanche 14 septembre 2008

Les sources d'ambiguïté dans un document de spécification

http://se.uwaterloo.ca/~dberry/handbook/ambiguityHandbook.pdf

Un cours sur les tests

L'image des transparents n'est pas très nette. Mais l'anglais est compréhensible pour un français.

http://video.google.com/videoplay?docid=-7412753870810929579

Je trouve que trop de discours non illustré d'exemples. A vous de voir, d'entendre. Je n'ai écouté que le début. J'ai trouvé que ce n'était pas assez dynamique.

Bon pour voir si vous auriez des difficultés pour "poursuivre" vos études dans un pays de langue anglaise.

Une liste de cours

http://freevideolectures.com/computerscience2.html

Interviews d'informaticiens

Thinking in Code:
Bruce Eckel Interviews Software Luminaries

http://www.mindviewinc.com/mediacast/interviews/Index.php

Les cours de génie logiciel de David Notkin ( U of Washington)

http://www.cs.washington.edu/education/courses/csep503/01wi/lectures/

Nota : les transparents sans les commentaires (les commentaires oraux sont accessibles) sont difficilement utilisables par un débutant (mais je peux me tromper).

Les cours d'Hal Abelson and Gerald Jay Sussman

Les cours d'Hal Abelson and Gerald Jay Sussman (dont le livre est un best-seller)

"Structure and Interpretation of Computer Programs has been MIT's introductory pre-professional computer science subject since 1981. It emphasizes the role of computer languages as vehicles for expressing knowledge and it presents basic principles of abstraction and modularity, together with essential techniques for designing and implementing computer languages. This course has had a worldwide impact on computer science curricula over the past two decades."


Note: These lectures follow the first edition (1985) of Structure and Interpretation of Computer Programs. Many of the programs discussed were rewritten for the second edition (1996) of the book, and new material was added. These video lectures will still be useful for students using the second edition, since the overall themes of the course and order of presentation are unchanged.

Un site des sites de cours d'informatique en vidéo sur la Toile

ICI

P.S. : Nous n'avons pas tout vu !

Les cours gratuits du MIT

ICI

Comment résoudre des problèmes (par Donald Knuth)

http://www-cs-faculty.stanford.edu/~knuth/papers/cs1055.pdf

Ecrire des mathématiques et des programmes lisibles

Par Donald Knuth

http://tex.loria.fr/typographie/mathwriting.pdf

Une introduction à la compilation

par Xavier Leroy, au Collège de France

http://www.college-de-france.fr/default/EN/all/ger_ber/seminaire_n3_xavier_leroy.htm

Les cours de génie logiciel du Collège de France

Gérard Berry est titulaire de la première chaire du Collège de France consacrée à l'informatique. Nous avons suivi (sur la Toile), sa leçon inaugurale et son troisième cours.

http://www.college-de-france.fr/default/EN/all/ger_ber/cours_n3_les_langages_de_progr.htm

L'intérêt de ces cours est que si il y a du brouhaha dans votre amphi, vous pouvez les écouter en silence chez vous.

Quelle idée ?!

Un étudiant m'a dit l'an dernier "vous devriez faire un livre Génie logiciel pour les nuls". Mais les livres, les étudiants sont bien peu nombreux à les lire. J'ai des chiffres !

Et puis, il y a sur la Toile (Web en anglais), de très bonnes choses. Mais les étudiants, le "Projet Tutoré" nous l'a montré pendant plusieurs années, choisissent souvent les plus mauvaises pages de la Toile.

Alors dans ce bloc-notes, nous fournirons des pointeurs vers des sites que nous avons lus et dont le contenu est de qualité.


Les avis des usagers de ce bloc-notes sont bienvenus.