L'OBJET: Software, Databases, Networks, Volume 14

Volume 14, Numbers 1-2, 2008

Yoann Kubera, Philippe Mathieu, Sébastien Picault:
Formalisation et implémentation des interactions pour la simulation centrée individu. 9-33
Electronic Edition (link) BibTeX
Jérémy Dubus, Areski Flissi, Nicolas Dolet, Philippe Merle:
Une démarche orientée modèle pour déployer des systèmes logiciels répartis. 35-59
Electronic Edition (link) BibTeX
Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou:
Vérification formelle d'architectures logicielles à base d'UML. 61-86
Electronic Edition (link) BibTeX
Jérôme Lacouture, Philippe Aniorté:
Architecture orientée services et adaptation. Un état des lieux motivant l'approche CompAA. 87-111
Electronic Edition (link) BibTeX
Sylvain Chardigny, Abdelhak-Djamel Seriai, Mourad Chabane Oussalah, Dalila Tamzalit:
Extraction d'une architecture à base de composants depuis un système orienté objet. Une approche dirigée par les propriétés de qualité. 113-137
Electronic Edition (link) BibTeX
Bart George, Régis Fleurquin, Salah Sadou, Houari A. Sahraoui:
Un mécanisme de sélection de composants logiciels. 139-163
Electronic Edition (link) BibTeX

C. Williamson:
Les fabriques logicielles. De l'appréhension à l'implémentation active, un marché en devenir pour les technologies. 9-14
Electronic Edition (link) BibTeX
Nicolas Anquetil, Hugo Arboleda, F. de Alexandria Fernandes, A. Nuñez, Jean-Claude Royer:
Lignes de produits logiciels et usines logicielles. 15-31
Electronic Edition (link) BibTeX
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. 33-45
Electronic Edition (link) BibTeX
Nicolas Anquetil, Joost Noppen, Ismênia Galvão:
La traçabilité dans les lignes de produits logiciels. 47-57
Electronic Edition (link) BibTeX
Stéphane Somé, P. Anthonysamy:
Modélisation orientée-aspects de systèmes de ligne de produits par des cas d'utilisations. 59-73
Electronic Edition (link) BibTeX

Pascal André, Christian Attiogbé:
Éditorial. 7-10
Electronic Edition (link) BibTeX
Inès Mouakher, Jeanine Souquières, Francis Alexandre:
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. 11-42
Electronic Edition (link) BibTeX
Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali:
Spécification et vérification d'un ordonnanceur en B via les automates temporisés. 43-72
Electronic Edition (link) BibTeX
M. Simonot, M. Aponte:
Une approche formelle de la reconfiguration dynamique. 73-102
Electronic Edition (link) BibTeX
Pierre Parrend, Stéphane Frénot:
Vérification automatique pour l'exécution sécurisée de composants Java. 103-127
Electronic Edition (link) BibTeX