|
|
 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Technique et Science Informatiques 0752-4072 |
|
| Revue des sciences et technologies de l'information | |
|
|||
| 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
B.BOTELLA, A.GOTLIEB, C.MICHEL, M.RUEHER, P.TAILLIBERT - pp.1163-1187 |
||
| • |
B-Testing-Tools : génération de tests aux limites à partir de spécifications B
B.LEGEARD, F.PEUREUX - pp.1189-1218 |
||
| • |
Test de conformité : une approche algébrique
A.ARNOULD, P.GALL - pp.1219-1242 |
||
| • |
Test de spécifications de logiciels synchrones
I.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
T.JÉRON - pp.1265-1294 |
||
| ACHETEZ CE NUMÉRO (version imprimée) | |||
|
|
||
| ||
|
||
| ||
|
||
| ||
|
||
| ||
|
||
| ||
English version >>
