ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

couverture du numéro

Composants, services et aspects
Techniques et outils pour la vérification
sous la diretion de
Pascal André
Christian Attiogbé
 LISTE DES ARTICLES POUR LE VOL 14/4 - 2008
Sommaire  [GRATUIT]
- pp.5-6
Éditorial  [GRATUIT]
Pascal ANDRÉ, Christian ATTIOGBÉ - pp.7-10
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants
Inès MOUAKHER, Jeanine SOUQUIÈRES, Francis ALEXANDRE - pp.11-42
Spécification et vérification d'un ordonnanceur en B via les automates temporisés
Odile NASR, Miloud RACHED, Jean-Paul BODEVEIX, Mamoun FILALI - pp.43-72
Une approche formelle de la reconfiguration dynamique
Marianne SIMONOT, Maria-Virginia APONTE - pp.73-102
Vérification automatique pour l'exécution sécurisée de composants Java
Pierre PARREND, Stéphane FRÉNOT - pp.103-127
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier