Now showing items 1-2 of 2

  • Un modèle formel générique de fission des modalités dans les systèmes multimodaux en sortie 

    Mohand Oussaïd, Linda
    In : Rapports de recherche internes, (CERIST, Alger, 2009-05)
    Les interfaces homme-machine multi-modales en sortie combinent sémantiquement les médias et modalités en sortie en vue d'accroître les capacités d'interaction de la machine. L'objectif de ce rapport est de présenter un modèle formel permettant la spécification formelle des systèmes interactifs multi-modaux en sortie. ...
  • Vérification formelle des propriétés de sécurité des logiciels 

    Mohand Oussaïd, Linda
    In : Mémoires de Magister, (Institut National de Formation en Informatique (INI), Oued Smar, El Harrach - Alger, 2006)
    Cette thèse présente une démarche de vérification formelle des propriétés de sécurité des logiciels. En effet, après étude des approches possibles : preuve formelle et model checking, nous avons identifié le model checking comme étant l'approche la plus adéquate pour notre problématique. Ainsi, la démarche proposée est ...

Tous les documents dans CERIST DIGITAL LIBRARY sont protégés par copyright, avec tous droits réservés. copyright © 2013-2015  CERIST
Powered by 
@mire NV