Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applications critiques dans des domaines comme l'aéronautique, l'énergie ou les transports. L'application à Lustre des critères de couverture usuels basés sur le flot de contrôle (couverture des instructions, couverture des branches,...) n'est pas significative. Nous avons, en conséquence, défini une hiérarchie de critères adaptés au paradigme flot de données synchrone. Les critères permettent de mesurer la couverture des chemins dans un réseau d'opérate...
L'amélioration des critères de récolte des bananes nécessite la mise en place d'indicateurs fiables ...
Cet essai professionnel a pour objectif de déterminer quels sont les critères d’exclusion des enseig...
Plusieurs critères conditionnent le suivi et la prise en charge de l asthmatique et plus généralemen...
Ce mémoire pose la question de l’impact des critères de sélection des élèves sur la réussite des pro...
Dans le cadre du projet européen Language Technologies for Lifelong Learning, nous avons développé P...
L’objectif général de ce travail de recherche est d’identifier le critère d’efficacité le plus domin...
Dans ce mémoire, notre objectif était de comparer la lisibilité de sous-titres traduits de manière s...
National audienceDans le cadre du projet européen Language Technologies for Lifelong Learning, nous ...
Le Laboratoire L. U. R. E., présentant la structure d’un service commun au C. N. R. S. et à l’Univer...
Ce travail concerne l'étude des techniques de maintien de la cohérence dans les systèmes d'informati...
International audienceAfin de modéliser la dépendance entre les maintenances correctives et préventi...
This work deals with the structural testing of the synchronous reactive programs written in Lustre a...
Le travail décrit dans cette thèse s'inscrit dans le contexte du développement et de la validation d...
International audienceLa promotion internationale des démarches d'investigation (DI) et l'enrôlement...
Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la gén...
L'amélioration des critères de récolte des bananes nécessite la mise en place d'indicateurs fiables ...
Cet essai professionnel a pour objectif de déterminer quels sont les critères d’exclusion des enseig...
Plusieurs critères conditionnent le suivi et la prise en charge de l asthmatique et plus généralemen...
Ce mémoire pose la question de l’impact des critères de sélection des élèves sur la réussite des pro...
Dans le cadre du projet européen Language Technologies for Lifelong Learning, nous avons développé P...
L’objectif général de ce travail de recherche est d’identifier le critère d’efficacité le plus domin...
Dans ce mémoire, notre objectif était de comparer la lisibilité de sous-titres traduits de manière s...
National audienceDans le cadre du projet européen Language Technologies for Lifelong Learning, nous ...
Le Laboratoire L. U. R. E., présentant la structure d’un service commun au C. N. R. S. et à l’Univer...
Ce travail concerne l'étude des techniques de maintien de la cohérence dans les systèmes d'informati...
International audienceAfin de modéliser la dépendance entre les maintenances correctives et préventi...
This work deals with the structural testing of the synchronous reactive programs written in Lustre a...
Le travail décrit dans cette thèse s'inscrit dans le contexte du développement et de la validation d...
International audienceLa promotion internationale des démarches d'investigation (DI) et l'enrôlement...
Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la gén...
L'amélioration des critères de récolte des bananes nécessite la mise en place d'indicateurs fiables ...
Cet essai professionnel a pour objectif de déterminer quels sont les critères d’exclusion des enseig...
Plusieurs critères conditionnent le suivi et la prise en charge de l asthmatique et plus généralemen...