Skip to Main content Skip to Navigation
Directions of work or proceedings

L'Objet : Composants, services et aspects

Résumé : Le domaine des composants et des services n'a pas encore pleinement exploité les avancées en matière de techniques de vérification - preuve de théorème, évaluation de modèle - et outils associés. Or, il est admis en génie logiciel que la vérification des pripriétés est un des paramètres procurant la qualité au logiciel. "Composants, services et aspects" met en lumière ces problématiques. Les articles couvrent des travaux variés allant de la spécification à la programmation en passant par la vérification ; ils abordent divers domaines tels que : - spécification de composants temps-réels en B, - détection/correction de protocoles dans les assemblages, - vérification de propriétés pour la reconfiguration dynamique, - validation de sécurité de composants et services, - vérification de propriétés d'ordonnancement dans une architecture à composants temps-réel.
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00482908
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Tuesday, May 11, 2010 - 7:53:20 PM
Last modification on : Wednesday, April 27, 2022 - 4:15:24 AM

Identifiers

  • HAL Id : hal-00482908, version 1

Citation

Christian Attiogbe, Pascal Andre. L'Objet : Composants, services et aspects. Lavoisier, Hermes, pp.128, 2008. ⟨hal-00482908⟩

Share

Metrics

Record views

57