Extensions du diagramme d'activité pour la spécification de politiques RBAC, Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni - pp.11-37 Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information, Rémi Delmas, Thomas Polacsek - pp.39-63 Construction du profil social de l'utilisateur dans un contexte dynamique. Application d'une méthode de pondération temporelle, Marie-Françoise Canut, Sirinya On-At, André Péninou, Florence Sèdes - pp.65-94 Évaluation du concept de famille de méthodes et de son application aux méthodes agiles, Rébecca Deneckère, Elena Kornyshova - pp.95-121 Conception et évaluation d'un langage orienté patient pour la représentation de protocoles de soins, Amira Derradji, Christine Verdier - pp.123-146