Résumé. Les méthodes formelles sont aujourd’hui un moyen d’améliorer la qualité des processus de developpement logiciel. Cet article propose une application de la méthode B, méthode formelle basée sur la théorie ensembliste, au domaine d’activité spécifique qu’est la Java Card. Les cartes à puce sont un élément de la sécurité des systèmes d’information. L’assurance du respect de la sécurité peu...

RÉSUMÉ. Ce papier présente notre approche pour la définition d’un framework qui autorise l’adaptation de la tolérance aux fautes aux systèmes à composants. Nous considérons que le processus permettant de fournir la tolérance aux fautes adaptable peut se faire en deux étapes : la personnalisation et la régulation dynamique. Le travail présenté dans ce papier concerne la personnalisation de la to...

dans le monde actuel de la littérature, la traduction est vue comme un des éléments essentiels qui ne se démente pas ; et cela à juste titre, car c’est grâce à la traduction qu’une œuvre littéraire passe d’une langue à l’autre. mais ce passage est loin d’être une simple transplantation : pour conserver toutes les dimensions d’une œuvre- langagière, culturelle et ….- la traduction a beaucoup à f...

Introduction: Beaucoup d'enfants vivant avec le VIH ont été infectés par leurs mères. Pour prévenir la transmission verticale les femmes doivent d’abord connaître leur statut sérologique VIH .L’objectif de cette étude était de déterminer la proportion de statut VIH inconnu à la naissance et d'identifier les facteurs associés. Méthodes: C’est une étude transversale réalisée dans 10 structures sa...

Une fantaisie récurrente de plusieurs mathématiciens ([22], [14], [19], [11], . . .) est l’existence d’un “corps à un élément”, noté F1, et d’une géométrie algébrique sur ce corps. On pense par exemple que le groupe des points de SLN dans F1 est le groupe symétrique des permutations de N lettres, et que ces N lettres sont les points dans F1 de l’espace projectif P N . Et l’on s’est aperçu depui...