researcher / Marie-Claude Gaudel

Marie-Claude Gaudel

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Semantics-Based Testing for Circus
Test symbolique de services web composite
Verification of behaviourist multi-agent systems by means of formally guided simulations
Approches combinatoires pour le test statistique à grande échelle
Contributions au test de logiciel basé sur des spécifications formelles
Utilisation des structures combinatoires pour le test statistique
Methodes et outils de test pour lustre et les langages synchrones
Definition d'une approche orientee-objet de la specification algebrique de systeme informatique
Test a partir de specifications de structures bornees : une theorie du test, une methode de selection, un outil d'assistance a la selection
Etude et realisation de logiciels pour les environnements de programmation et de specifications formelles
Spécifications algébriques par objets : une proposition de formalisme et ses applications à l'implantation abstraite
Sequence-specifications algebriques. Application a une semantique pour les iterateurs
Selection de tests de proprietes de surete a partir d'une modelisation algebrique de programmes lustre
L'analyse et la modelisation du risque durant le developpement et la maintenance du logiciel
Les algebres etiquetees : une semantique pour les specifications algebriques fondee sur une utilisation systematique des termes. application au test de logiciel avec traitement d'exceptions
Contraintes et prototypes pour la description du comportement des objets dans l'interaction homme-machine
Developpement et exploitation d'une specification algebrique du logiciel embarque d'un metro
Reutilisation de logiciel : une approche algebrique, son application a ada et les outils associes
Une methode et un outil d'assistance a la selection de jeux de tests a partir de specifications algebriques
Bases de projet pour les environnements de développement de logiciel
Pluss, un langage pour le développement de spécifications algébriques modulaires
Transformations, évaluation incrémentale et optimisations des grammaires attribuées : le système FNC-2
Spécification algébrique de types de données à accès concurrent
Mise en oeuvre des grammaires attribuées : transformations, évaluation incrémentale, optimisation
Asspegique : un environnement d'exceptions : une sémantique opérationnelle des E, R-algèbres, formalisme prenant en compte les exceptions : un environnement integré de spécification algébrique