projet_syncomp
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | |||
projet_syncomp [2009/09/23 15:48] – tigli | projet_syncomp [2009/09/23 15:49] (Version actuelle) – tigli | ||
---|---|---|---|
Ligne 13: | Ligne 13: | ||
Fort des premiers résultats de cette action, le projet consiste maintenant à compléter la plateforme WComp avec une série d' | Fort des premiers résultats de cette action, le projet consiste maintenant à compléter la plateforme WComp avec une série d' | ||
* de nouvelles librairies de composants dotées d'une sémantique formelle qui permettront de vérifier des assemblages de services pour dispositifs (ces librairies permettront à l' | * de nouvelles librairies de composants dotées d'une sémantique formelle qui permettront de vérifier des assemblages de services pour dispositifs (ces librairies permettront à l' | ||
- | * des mécanismes | + | * des mécanismes |
Ces approches permettront à l' | Ces approches permettront à l' |
projet_syncomp.txt · Dernière modification : 2009/09/23 15:49 de tigli