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
  
• 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
  
• Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou:
  Vérification formelle d'architectures logicielles à base d'UML. 61-86
  
• Jérôme Lacouture, Philippe Aniorté:
  Architecture orientée services et adaptation. Un état des lieux motivant l'approche CompAA. 87-111
  
• 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
  
• Bart George, Régis Fleurquin, Salah Sadou, Houari A. Sahraoui:
  Un mécanisme de sélection de composants logiciels. 139-163
  

Volume 14, Number 3, 2008

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

Volume 14, Number 4, 2008

• Pascal André, Christian Attiogbé:
  Éditorial. 7-10
  
• Inès Mouakher, Jeanine Souquières, Francis Alexandre:
  Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. 11-42
  
• 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
  
• M. Simonot, M. Aponte:
  Une approche formelle de la reconfiguration dynamique. 73-102
  
• Pierre Parrend, Stéphane Frénot:
  Vérification automatique pour l'exécution sécurisée de composants Java. 103-127
  

Last update Tue Feb 14 04:21:12 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page