- Pierre Parrend, Stéphane Frénot. Vérification automatique pour l exécution sécurisée de composants Java. L OBJET, 14(4):103-127, 2008.
- Pascal André, Christian Attiogbé. Éditorial. L OBJET, 14(4):7-10, 2008.
- Inès Mouakher, Jeanine Souquières, Francis Alexandre. Diagnostic et correction d erreurs de spécifications Application à l assemblage de composants. L OBJET, 14(4):11-42, 2008.
- Stéphane Somé, P. Anthonysamy. Modélisation orientée-aspects de systèmes de ligne de produits par des cas d utilisations. L OBJET, 14(3):59-73, 2008.
- M. Simonot, M. Aponte. Une approche formelle de la reconfiguration dynamique. L OBJET, 14(4):73-102, 2008.
- Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali. Spécification et vérification d un ordonnanceur en B via les automates temporisés. L OBJET, 14(4):43-72, 2008.
- Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou. Vérification formelle d architectures logicielles à base d UML. L OBJET, 14(1-2):61-86, 2008.
- Jérôme Lacouture, Philippe Aniorté. Architecture orientée services et adaptation. Un état des lieux motivant l approche CompAA. L OBJET, 14(1-2):87-111, 2008.
- Nicolas Anquetil, Joost Noppen, Ismênia Galvão. La traçabilité dans les lignes de produits logiciels. L OBJET, 14(3):47-57, 2008.
- Jean-Marc Jézéquel, Gilles Perrouin. Vers des lignes de produits flexibles. Apports de l ingénierie dirigée par les modèles à la dérivation de produits. L OBJET, 14(3):33-45, 2008.