Composants, services et aspects. Techniques et outils pour la vérification (L'Objet logiciel, bases de données, réseaux Vol. 14 N° 4/Oct-Déc 2008)
Langue : Français
Auteurs : ANDRÉ Pascal, ATTIOGBÉ Christian
- Diagnostic et correction d'erreurs de spécifications. Application à l'assemblage de composants
I. Mouakher, J. Souquières, F. Alexandre - pp.11-42 - Spécification et vérification d'un ordonnanceur en B via les automates temporisés
O. Nasr, M. Rached, J. Bodeveix, M. Filali - pp.43-72 - Une approche formelle de la reconfiguration dynamique
M. Simonot, M. Aponte - pp.73-102 - Vérification automatique pour l'exécution sécurisée de composants Java
P. Parrend, S. Frénot - pp.103-127
Retrouvez la description détaillée du numéro sur RevuesOnline.
Date de parution : 01-2009
Numéro de revue de 126 p.
16x24 cm
Épuisé
Thème de Composants, services et aspects. Techniques et outils... :
© 2024 LAVOISIER S.A.S.