ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

couverture du numéro

APPROCHES FORMELLES DANS L’ASSISTANCE AU DÉVELOPPEMENT DE LOGICIELS
AFADL 2007
 LISTE DES ARTICLES POUR LE VOL 27/8 - 2008
Sommaire  [GRATUIT]
- pp.948-948
Éditorial  [GRATUIT]
- pp.949-950
Un cadre sémantique pour le contrôle d'accès
Mathieu JAUME, Charles MORISSET - pp.951-976
Extraction de modèles paramétrés au cours du test de composants logiciels
Roland GROZ, Muzammil SHAHBAZ, Keqin LI - pp.977-1006
Développement formel par composants Assemblage et vérification à l'aide de B
Arnaud LANOIX, Samuel COLIN, Jeanine SOUQUIÈRES - pp.1007-1032
Un système vérifiant des propriétés opérationnelles de programmes logiques
François GOBERT, Baudouin LE CHARLIER - pp.1033-1064
La validation de modèles Event-B avec le plug-in ProB pour RODIN
Jens BENDISPOSTO, Michael LEUSCHEL, o. LIGOT, m. SAMIA - pp.1065-1084
“RCIS 2009” CALL FOR PAPERS  [GRATUIT]
- pp.1085-1088
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 >> 
Lavoisier