Le modèle OFL au service du métaprogrammeurApplication à Java

Raisonnement à contraintes pour le test de bytecode Java

Le test logiciel permet d’augmenter la confiance que l’on porte à un programme ou un système. Dans ce contexte, il s’agit d’exécuter le programme avec un certain nombre d’entrées dans le but de couvrir des objectifs de test, comme celui qui consiste à atteindre toutes les instructions du programme au moins une fois durant la phase de test. Idéalement, on souhaite générer ces entrées de manière ...

Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles. (Security policies modeling by using formal methods)

ion des données : on peut définir des actions plus abstraites que lecture/écriture. Le modèle RBAC modélise le système informatique considéré en séparant les entités actives des entités passives. Les entités actives correspondent aux utilisateurs du système et les entités passives correspondent aux objets du système. Au contraire du modèle de LaPadula, qui associe des niveaux de sécurité aux di...

Production du vaccin contre le virus aphteux de type SAT 1 et son contrôle à l'Institut National des Serums et Vaccins Razi (Iran) au cours de l'année 1963-1964

Webmarks : Le marquage d'intérêt sur le Web de données

Résumé. Depuis son apparition au sein du W3C, la définition de la ressource Web n’a cessé d’évoluer au delà du simple document. Lieu, service, concept d’ontologie, représentation d’un objet réel ou non, la ressource web est complexe et il nous a semblé que les outils à disposition des internautes pour sa manipulation, comme les bookmarks par exemple, n’exploitaient pas pleinement ces nouvelles ...

Evolutivité des applications Web: un méta-modèle exécutable

RESUME. Les processus de développement pilotés par le modèle ont été pensés avec in fine l'objectif d'une évolution régulière et incrémentale. Peu d'outillage pourtant existe afin de supporter la coévolution des modèles et de leur méta-modèle. De nombreux travaux s'intéressent au développement piloté par le modèle des applications Web centrées sur les données, mais peu parmi ceux-ci s'intéresse...