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 pour le développement de logiciels
sous la direction de JULLIAND Jacques, SOUQUIÈRES Jeanine
 LISTE DES ARTICLES POUR LE VOL 25/1 - 2006
Sommaire  [GRATUIT]
- pp.5-5
Editorial  [GRATUIT]
- pp.7-8
Indexation multiple et automatisée de composants logiciels
Benjamin SIGONNEAU, Olivier RIDOUX - pp.9-42
Un cadre formel pour la spécification multivue de systèmes avioniques
Yamine AÏT-AMEUR, Rémi DELMAS, Virginie WIELS - pp.43-72
Propriétés dynamiques avec hypothèses d'équité en B événementiel
Héctor Ruíz BARRADAS, Didier BERT - pp.73-102
Génération de tests à partir de statecharts fondée sur le calcul de comportements
Séverine COLIN, Franck LEBEAU, Bruno LEGEARD - pp.103-132
Un panorama du test à partir de modèles formels
Mark UTTING - pp.133-139
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