Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDL'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édric 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é, J. 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 - Marianne Simonot, Maria-Virginia 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 17:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
