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

 LISTE DES ARTICLES POUR LE VOL 21/9 - 2002
Édito  [GRATUIT]
- pp.1161-1162
Utilisation des contraintes pour la génération automatique de cas de test structurels
Bernard BOTELLA, Arnaud GOTLIEB, Claude MICHEL, Michel RUEHER, Patrick TAILLIBERT - pp.1163-1187
B-Testing-Tools : génération de tests aux limites à partir de spécifications B
Bruno LEGEARD, Fabien PEUREUX - pp.1189-1218
Test de conformité : une approche algébrique
Agnès ARNOULD, Pascale Le GALL - pp.1219-1242
Test de spécifications de logiciels synchrones
Ioannis PARISSIS - pp.1243-1264
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs
Thierry JÉRON - pp.1265-1294
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