Ce numéro vise à faire le point sur les travaux de recherche et les techniques fondés sur les méthodes formelles améliorant la conception sûre d’analyses statiques et de compilateurs.

• Application des méthodes formelles à l’analyse statique et la compilation (72.3ko)
  Date limite de soumission : 30 novembre 2008

• L'Ingénierie dirigée par les modèles (74.8ko)
  Date limite de soumission : 30 novembre 2008

L'objectif de ce numéro spécial est de montrer l'impact des recherches à l'interface STIC-SHS sur la recherche en informatique.

• L'informatique à l'interface de l'activité humaine et sociale (82.5ko)
  Date limite de soumission : 15 décembre 2008