Volume 25 – n° 1/2006
Technique et science informatiques
Sommaire Volume 25 – n° 1/2006
APPROCHES FORMELLES POUR LE DÉVELOPPEMENT DE LOGICIELS
J. JULLIAND, J. SOUQUIÈRES
Editorial . . . 7 B. SIGONNEAU, O. RIDOUX
Indexation multiple et automatisée de composants logiciels . . . 9 Y. AÏT-AMEUR, R. DELMAS, V. WIELS
Un cadre formel pour la spécification multivue
de systèmes avioniques . . . 43 H. RUÍZ BARRADAS, D. BERT
Propriétés dynamiques avec hypothèses d’équité
en B événementiel . . . 73 S. COLIN, F. LEBEAU, B. LEGEARD
Génération de tests à partir de statecharts fondée sur le calcul
de comportements . . . 103
Chronique M. UTTING
Un panorama du test à partir de modèles formels . . . 133
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
