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.