Abstract is missing.
- Vérification d architectures embarquées : un enjeu aux multiples facettesFrédéric Boniol. 1
- Filling in the Whitespace: Research Opportunities in Model-Driven Software Development and Model-Driven EngineeringBran Selic. 3
- Meta-grid : Un premier pas vers un framework grid basé sur les agentsBadr Jabari, Vincent Englebert, El Mostafa Oualim, Jean-Pol Vigneron. 5-17
- Vers une architecture de type agent BDI pour un ordonnanceur de grille adaptatifInès Thabet, Chihab Hanachi, Khaled Ghédira. 19-33
- Utilisation de BPEL pour la gestion des processus métier d une application localeNicolas Biri, Pascal Bauler, Fernand Feltz, Nicolas Médoc, Céline Thomase. 35-45
- Extension de l architecture de bases de données ANSI/SPARC pour expliciter la sémantique des donnéesChimène Fankam, Stéphane Jean, Guy Pierra, Ladjel Bellatreche. 47-61
- Vers l intégration dynamique de contrats dans des architectures orientées services : une expérience applicative du modèle au codeSébastien Mosser, Mireille Blay-Fornarino, Philippe Collet, Philippe Lahire. 63-77
- Vers l Intégration des Propriétés non Fonctionnelles dans le Langage SADLFaiza Belala, Fateh Latreche, Malika Benammar. 91-105
- AlkoWeb : Un outil pour modéliser l architecture des applications Web richesReda Kadri, Chouki Tibermacine, Régis Fleurquin, Salah Sadou, François Merciol. 107-118
- Expression qualitative de politiques d adaptation pour FractalFranck Chauvel, Olivier Barais, Noël Plouzeau, Isabelle Borne, Jean-Marc Jézéquel. 119
- Assemblage automatique et adaptation d applications à base de composantsGuillaume Grondin, Noury Bouraqadi, Laurent Vercouter. 121
- Construction dynamique d annuaires de composants par classification de servicesGabriela Arévalo, Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier. 123-138
- Extraction métaheuristique d une architecture à base de composants à partir d un système orienté objetSylvain Chardigny, Abdelhak Seriai, Mourad Oussalah, Dalila Tamzalit. 139-154
- Alignement d ontologies dirigé par la structureJean François Djoufak Kengue, Jérôme Euzenat, Petko Valtchev. 155
- Vers la génération de modèles de sûreté de fonctionnementXavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy. 157-172
- Un langage de contexte de preuve pour la validation formelle de modèles logicielsPhilippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel. 173-189