Composants, Services Et Aspects. Techniques Et Outils Pour La Verification (L'Objet Logiciel, Bases

• Date de parution : 19/01/2009
• Editeur : Hermes Science Publications
• EAN : 9782746223226
• Série : (-)
• Support : Papier

• Nombre de pages : (-)
• Collection : (-)
• Genre : (-)
• Thème : Non attribué
• Prix littéraire(s) : (-)

Diagnostic et correction d'erreurs de spécifications. Application à l'assemblage de composants I. Mouakher, J. Souquières, F. Alexandre - pp.11-42Spécification et vérification d'un ordonnanceur en B via les automates temporisés O. Nasr, M. Rached, J. Bodeveix, M. Filali - pp.43-72Une approche... Voir plus

Diagnostic et correction d'erreurs de spécifications. Application à l'assemblage de composants I. Mouakher, J. Souquières, F. Alexandre - pp.11-42Spécification et vérification d'un ordonnanceur en B via les automates temporisés O. Nasr, M. Rached, J. Bodeveix, M. Filali - pp.43-72Une approche formelle de la reconfiguration dynamique M. Simonot, M. Aponte - pp.73-102Vérification automatique pour l'exécution sécurisée de composants Java P. Parrend, S. Frénot - pp.103-127