Agnès ARNOULD

Revues Nationales

[3] Spécifications formelles du chanfreinage
      Ledoux F., Mota J.-M., Arnould A., Dubois C., Le Gall P., Bertrand Y.
      Technique et Science Informatiques, Volume 21, n°8, p 1-26 - 2002

[2] Test de conformité : une approche algébrique
      Arnould A., Le Gall P.
      Technique et Science Informatiques, Volume 21, n°9, p 1219-1242, Test de logiciel - 2002

[1] Génération automatique de tests à partir de spécifications de structures de données bornées
      Arnould A., Marre B., Le Gall P.
      Technique et science informatique, Volume 18, n°3 - Mars 1999

Conférences Internationales avec Comité de Lecture

[4] Automatic generation of functional programs from CASL specifications
      Arnould A., Fuchs L., Aiguier M., Brunet T.
      International Conference on Software Engineering Advances (ICSEA 2006), à paraître - October 2006     

[3] Testing from algebraic specifications: test data set selection by unfolding axioms
      Aiguier M., Arnould A., Boin C., Le Gall P., Marre B.
      Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Number 3997, Revised Selected Papers - 2006     

[2] Geometric modeling with CASL
      Ledoux F., Arnould A., Le Gall P., Bertrand Y.
      Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, Selected Paper - Avril 2001

[1] Test Sequences Generation from LUSTRE Descriptions: GATEL
      Marre B., Arnould A.
      Proceedings of ASE-00: The 15th IEEE Conference on Automated Software Engineering, Grenoble, France, IEEE CS Press - Septembre 2000

Conférences Nationales avec Comité de Lecture

[2] Spécifications formelles du chanfreinage
      Ledoux F., Mota J.-M., Arnould A., Dubois C., Le Gall P., Bertrand Y.
      Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Nancy, France - Juin 2001

[1] Génération automatique de séquences de test à partir de descriptions LUSTRE : GATeL
      Marre B., Arnould A.
      Journées Francophones des Langages Applicatifs (JFLA00) - Janvier 2000

Conférences Nationales sans Comité de Lecture

[1] Un Générateur de Noyaux de Modeleurs
      Poudret M, Arnould A, Bertrand Y
      18èmes Journées de l'Association Française d'Informatique Graphique et de l'Association Chapitre Français d'Eurographics (AFIG'05) - November 2005     

Autres Communications

[1] Testing and Proving Behavioural Refinement
      Arnould A., Le Gall P., Mossakowski T.
      June 2006        

Rapports Techniques

[5] Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
      Aiguier M., Arnould A., Boin C., Le Gall P., Marre B.
      Rapport laMI n°110, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - Janvier 2005

[4] Génération automatique de code O'Caml à partir de spécifications CASL
      Arnould A., Fuchs L., Aiguier M., Brunet T.
      Rapport de recherche 113, Université d'Évry-Val d'Essonne, Number 113 - 2005        

[3] Une approche topologique de l'opération d'arrondi d'objets 2D et 3D
      Ledoux F., Arnould A., Bertrand Y., Fuchs L., Le Gall P.
      Rapport LaMI, 95-2004, Université d'Évry-Val d'Essonne, Évry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - 2004

[2] A High-Level Operation in 3D Modeling: a CASL Case Study
      Ledoux F., Arnould A., Le Gall P., Bertrand Y.
      Rapport LaMI n°52, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - 2000

[1] Formal specification for a mathematics-based application domain: geometric modeling
      Ledoux F., Mota J.-M., Arnould A., Dubois C., Le Gall P., Bertrand Y.
      Rapport LaMI n°51, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - 2000