L'Objet : Composants, services et aspects

Le domaine des composants et des services n'a pas encore pleinement exploite les avancees en matiere de techniques de verification - preuve de theoreme, evaluation de modele - et outils associes. Or, il est admis en genie logiciel que la verification des priprietes est un des parametres procurant la qualite au logiciel. "Composants, services et aspects" met en lumiere ces problematiques. Les articles couvrent des travaux varies allant de la specification a la programmation en passant par la verification ; ils abordent divers domaines tels que : - specification de composants temps-reels en B, - detection/correction de protocoles dans les assemblages, - verification de proprietes pour la reconfiguration dynamique, - validation de securite de composants et services, - verification de proprietes d'ordonnancement dans une architecture a composants temps-reel.