Technique et science informatiques
Sommaire Volume 27 – n° 8/2008
APPROCHES FORMELLES DANS L’ASSISTANCE AU DÉVELOPPEMENT DE LOGICIELS
AFADL2007
M.-L.POTET,P.-Y.SCHOBBENS
Editorial . . . 949 M.JAUME,C.MORISSET
Un cadre sémantique pour le contrôle d’accès . . . 951 R.GROZ,M.SHAHBAZ,K.LI
Extraction de modèles paramétrés au cours du test
de composants logiciels . . . 977 A.LANOIX,S.COLIN,J.SOUQUIÈRES
Développement formel par composants.
Assemblage et vérification à l’aide de B . . . 1007 F.GOBERT,B.LE CHARLIER
Un système vérifiant des propriétés opérationnelles
de programmes logiques . . . 1033 J.BENDISPOSTO,M.LEUSCHEL,O.LIGOT,M.SAMIA
La validation de modèles Event-B
avec le plug-in PRoB pour RODIN . . . 1065 Appels à communication . . . 1085
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com