Pierre Réty
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Model-cheking régulier
Approximation
Modèles algébriques
Génération de tests aléatoire
Critères de couverture
Check-lists
Algorithmes d'approximation
XML
Grammaire de haies
Dépendances fonctionnelles
Interopérabilité
Mapping de schémas
Echanges de données
Inclusion relâchée
Correction de documents en fonction d’un schéma
Distance d’édition d’arbres
XML (langage de balisage)
Données -- Transmission
Structures de données (informatique)