Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

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

Couverture du livre « Composants, Services Et Aspects. Techniques Et Outils Pour La Verification (L'Objet Logiciel, Bases » de Pascal Andre aux éditions Hermes Science Publications
  • Nombre de pages : (-)
  • Collection : (-)
  • Genre : (-)
  • Thème : Non attribué
  • Prix littéraire(s) : (-)
Résumé:

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

Donner votre avis