Karine Arnout
Position
Je suis assistante de recherche (post-doc) dans la Chaire de Génie
logiciel dirigée par le professeur Dr.
Bertrand Meyer à l'École
Polytechnique de Zürich (ETH Zürich). J'ai défendu
ma thèse intitulée From
Patterns to Components le 31 mars 2004 à l'ETH de Zürich.
Elle a été acceptée avec la recommendation des professeurs Dr.
Bertrand Meyer (directeur de thèse), Dr.
Peter Müller (co-encadrant), et Dr.
Emil Sekerinski (co-encadrant).
Mes principaux domaines de recherche sont les patrons de conception (design
patterns) et leur transformation en composants réutilisables (j'appelle
ce procédé "componentisation"), le test logiciel automatique à partir
des contrats logiciels, et l'élicitation de contrats logiciels à partir
de composants .NET.
Recherche
Ma recherche est liée à la technologie à objets
et le développement basé sur les composants. En particulier,
je m'intéresse aux idées de patrons de conception (design
patterns), de la conception par contrats (Design by Contract),
du test logiciel et des composants fiables (Trusted Components).
Mes projets incluent :
- "Componentisation" de patrons de conception (transformation
en composants réutilisables). Ceci était le sujet de
ma thèse.
- Test logiciel automatique à partir des contrats logiciels
- Support pour la conception par contrats (Design by Contract)
pour les langages autres qu'Eiffel
Les technologies qui m'intéressent incluent :
- Eiffel: J'ai travaillé à Eiffel
Software (ISE) de juillet 2000 à septembre 2001, période
où je suis entrée en contact avec la méthode à objets
et le langage Eiffel en particulier, ainsi que l'environnement de
développement logiciel d'ISE (EiffelStudio). Je suis maintenant
membre actif du groupe technique ECMA pour
la standardisation d'Eiffel.
- .NET: J'ai travaillé à porter ISE Eiffel sur la plate-forme
.NET lorsque j'étais à ISE. En particulier, j'ai implanté la
première version de l'Assembly Manager - faisant partie
de l'environnement ISE Eiffel 5 - qui permet aux développeurs
de réutiliser les assemblages .NET (.NET assemblies)
dans leurs projets Eiffel pour .NET, de façon très aisée.
J'ai également travaillé sur le Contract
Wizard, qui permet d'ajouter des contrats - comme définis
en Eiffel - à tout assemblage .NET, quel que soit le langage
de .NET avec lequel il a été écrit initialement.
Enseignement
Cours
- Semestre d'été 2002 :
- Semestre d'hiver 2002/2003 :
- Semestre d'été 2003 :
- Semestre d'été 2004 :
Projets d'étudiants
- Semestre d'hiver 2002/2003 :
- Semestre d'été 2003 :
- Semestre d'hiver 2003/2004 :
- Semestre d'été 2004 :
Publications
Thèse
Conférences
- Karine Arnout, et Raphaël Simon. The
.NET Contract Wizard: Adding Design by Contract to languages other
than Eiffel. TOOLS
39 (39th International Conference and Exhibition
on Technology of Object-Oriented Languages and Systems). 29 juillet
- 03 août 2001, Santa Barbara, CA, USA. IEEE Computer Society,
p 14-23.
- Karine Arnout, et Bertrand Meyer. Contrats
cachés en .NET: Mise au jour et ajout de contrats a posteriori. LMO
2003 (Langages et Modèles à Objets).
Vannes, France, 3-5 février 2003. Revue des Sciences et Technologies
de l'Information (RTSI), série L'objet, volume 9, Hermès,
2003, p 17-30.
- Volkan Arslan, Piotr Nienaltowski, et Karine Arnout. An
object-oriented library for event-driven design. Actes de JMLC (Joint
Modular Languages Conference), Klagenfurt, Autriche, 25-27 août
2003, LNCS 2789, Springer-Verlag, Éds. Laszlo Böszörmenyi,
et Peter Schojer, 2003, p 174-183.
- Karine Arnout, et Bertrand Meyer. Finding
Implicit Contracts in .NET Components, Actes de FMCO
2002 (Formal Methods for Components and Objects),
Leiden, Pays-Bas, 5-8 novembre 2002, LNCS 2852, Springer-Verlag, Éds.
Frank de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever,
novembre 2003.
- Karine Arnout, et Éric Bezault. How
to get a Singleton in Eiffel?. Dans Journal
of Object-Technology (JOT), Vol.3, No.4, avril 2004,
numéro spécial : TOOLS
USA 2003, p 75-95.
Journaux
Magazines
Posters
Ateliers
- Karine Arnout, et Bertrand Meyer. Extracting
implicit contracts from .NET components. Microsoft Research
Summer Workshop 2002, Cambridge, GB, 9-11 septembre 2002.
- Karine Arnout. Extracting
Implicit Contracts from .NET Libraries. 4th European
GCSE Young Researchers Workshop 2002, conjointement avec NET.OBJECT
DAYS 2002, Erfurt, Allemagne, 7-10 octobre 2002. IESE-Report
No. 053.02/E, 21 octobre 2002, p 20-24.
Travaux
en cours
Présentations
Thèse
Présentations de papiers techniques
Ateliers
- Extracting
implicit contracts from .NET components. 1st Microsoft
ROTOR workshop, Cambridge, GB, 23-25 juillet 2002.
- Extracting
implicit contracts from .NET components. Microsoft Research
Summer Workshop 2002, Cambridge, GB, 9-11 septembre 2002.
- Extracting
Implicit Contracts from .NET Libraries. 4th European
GCSE Young Researchers Workshop 2002, conjointement avec NET.OBJECT
DAYS 2002, Erfurt, Allemagne, 7-10 octobre 2002.
- Extracting
Implicit Contracts from .NET Components, Trusted
Components Workshop 2003, Prato, Italie, 8-11 janvier 2003.
- Introduction
to .NET and Eiffel for .NET, .NET:
The Programmer's Perspective, atelier ECOOP
2003, Darmstadt, Allemagne, 22 juillet 2003.
- Towards
an international Eiffel standard: The ECMA standardization work, Eiffel
Summit 2003, Santa Barbara, CA, USA, 29 septembre 2003.
Tutoriaux
Autres
activités
- Je suis membre actif et secrétaire du groupe technique ECMA (TC39-TG4)
pour la standardisation d'Eiffel.
- Je suis co-organisatrice du GPCE
Young Researchers Workshop.
- Je participe à l'organisation de la Randonnée des
Mimosas (randonnée de VTT) qui a lieu tous les premiers dimanches
de février sur l'Ile d'Oléron en
France.
- J'aime la natation, le dessin et la peinture à l'huile.
Renseignements
personnels
Qualification
Expérience professionnelle
- Stagiaire dans le centre d'appel de Deutsche
Telekom à Constance (Allemagne), juillet-août 1999.
- "Jeune Ingénieur" à Eiffel
Software (ISE) à Santa Barbara, CA, USA, de juillet 2000 à septembre
2001.
- Assistante de recherche et d'enseignement à l'École
Polytechnique de Zürich (ETH Zürich) d'avril 2002 à aujourd'hui.
|