Génération automatique
Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique
179
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués
196
Génération automatique de tests logiciels dans le contexte de la certification aéronautique
177
Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests
145
Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles
2
Outils d'aide à la génération automatique d'hypertextes pédagogiques
8
Génération automatique d'architectures de calcul pour des opérations linéaires : application à l'IDCT sur FPGA
14
Génération automatique de correspondances sémantiques entre schémas Une approche par réécriture de requêtes
17
Génération automatique d'activités Lexicales dans le système ALEXIA
29
Génération automatique de codes adjoints : Stratégies d'utilisation pour le logiciel Odyssée, Application au code météorologique Meso-NH
43
Dictionnaires de catégories pour la génération automatique de proverbes : vers une économie sémantique de l'interprétation
16
Génération automatique de réseaux en bibliométrie
3
Architecture de génération automatique de scénarios pédagogiques de jeux sérieux éducatifs
291
Approche sémantique de génération automatique d’applications agiles en environnement pervasif
201
Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP
195
Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels
65
Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests
170
Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web
141
2018 — Génération automatique de cartes de profondeur relative par utilisation des occlusions dynamiques
107
La plate-forme RAMSES pour un triple écran interactif : application à la génération automatique de télévision interactive
177