Modélisation

Une de mes activités favorites est la modélisation. Dernièrement :

• Une approche géométrique pour le temps-réel, avec Thao Dang. Présenté à Embedded Software 2006.
  
• Jahuel: a formal framework for software synthesis (.pdf), I. Assayad, V. Bertin, F.-X. Defaut, Ph. Gerner, O. Quévreux et Sergio Yovine. Présenté à Formal Engineering Methods 2005.
  Influences :
  • o:XML, pour la représentation du programme en XML, simplifiant les transformations de programme.
  • The Design and Evolution of C++, de Bjarne Stroustrup. Pragmatisme.
• Utilisations du système Maude, pour la réalisation rapide de simulations.

Pédagogie

J'aime chercher des métaphores pour expliquer l'informatique à différents publics.

• Lyumines : exercices concoctés pour l'enseignement de la programmation orientée objets avec Java.
• Influence : Joseph Goguen, Reasoning about Mathematical Models of Cognitive Space and Time (.pdf)

Quelques liens

• News :
  • InfoQ
  • Technology Quarterly
• Copains :
  • Dinh : la voie du code

---

Email: gerner chez agat.net