Karine Arnout

Mailing address Karine Arnout Software Engineering, Meyer ETH Zentrum, RZ J4 8092 Zurich

Physical address Karine Arnout Department of Computer Science RZ Building, RZ J4 Clausiusstrasse 59 8092 Zurich

Contact Karine Arnout Phone: +41 1 632 47 23 Fax: +41 1 632 14 35 E-mail: Karine.Arnout@inf.ethz.ch This page: http://se.inf.ethz.ch/people/arnout  Français  Deutsch

Overview

I am a post-doctoral research assistant in the Chair of Software Engineering held by Prof. Dr. Bertrand Meyer at the Swiss Federal Institute of Technology, Zurich (ETH Zurich). I defended my Ph.D. thesis From Patterns to Components on March 31, 2004, at ETH Zurich. It was accepted on the recommendation of Prof. Dr. Bertrand Meyer (examiner), Prof. Dr. Peter Müller (co-examiner), and Prof. Dr. Emil Sekerinski (co-examiner).
My main areas of research are design patterns and their transformation into reusable components (which I call "componentization"), automatic contract-based testing, and contract elicitation for .NET components.

Areas of research

My research deals with object technology and component-based development. In particular, I am interested in the ideas of design patterns, Design by Contract, software testing, and Trusted Components. My projects include:

• "Pattern componentization" (turning design patterns into reusable components). This was the topic of my Ph.D. thesis.
• Automatic contract-based testing
• Design by Contract support for languages other than Eiffel

The technologies I am interested in include:

• Eiffel: I worked at Eiffel Software (ISE) from July 2000 to September 2001 where I got into contact with the Eiffel object-oriented method, language and ISE Eiffel software development environment (EiffelStudio). I am now an active member of the ECMA Technical Group for Eiffel standardization.
• .NET: I took part in porting ISE Eiffel on the .NET Framework when I was at ISE. In particular, I implemented the first version of the Assembly Manager - part of ISE Eiffel 5 delivery - which enables software developers to reuse .NET assemblies in their Eiffel for .NET projects in a very easy way. I also worked on the Contract Wizard, which allows adding contracts - as defined in Eiffel - to every .NET assembly whatever .NET language it was originally written in.

Teaching

Courses

• Summer semester 2002:
  • Advanced Topics in Object Technology
    I presented a guided tour of EiffelStudio (3 sessions) and held two lectures: One on Design by Contract and another one on .NET and C# (Introduction to .NET and C#).
• Winter semester 2002/2003:
  • Trusted Components
    I held one lecture about Contracts and Tests.
• Summer semester 2003:
  • Advanced Topics in Object Technology
    I presented a guided tour of EiffelStudio and held three lectures: One on Design by Contract, a second one on turning design patterns into reusable components (From design patterns to components) and another one on Exception handling.
• Summer semester 2004:
  • Programming in the large
    I was the responsible assistant of the class comprising about 200 second year students in Computer Science.
    I held a lecture about Design by Contract.

Student projects

• Winter semester 2002/2003:
  • Anders Haugeto: Turning design patterns into reusable components (Semester project)
  • Dominik Wotruba: GUI for student management (Semester project)
• Summer semester 2003:
  • Till G. Bay: Eiffel SDL multimedia library - ESDL (Diplom project)
  • Daniel Gisel: Eiffel library to generate Java bytecodes (Diplom project)
  • Christof Marti: Automatic Contract Extraction: Developing a CIL Parser (Diplom project)
  • Dominik Wotruba: Contract Wizard II (Diplom project)
• Winter semester 2003/2004:
  • Nicole Greber: Test Wizard: Automatic test generation based on Design by Contract (Master project)
• Summer semester 2004:
  • Ilinca Ciupa: Further development of the Test Wizard: An automatic test tool based on Design by Contract (Bachelor project)
  • Nadja Beeli: Precondition Enforcement Analysis for Quality Assurance (Master project)
  • Olivier Jeger: Extending the Eiffel library for data structures and algorithms: EiffelBase (Master project)
  • Petra Marty: Contract Wizard 3.0: Developing a GUI (Diplom project)

Publications

Ph.D. Thesis

• Karine Arnout. From Patterns to Components, Ph.D. dissertation, Swiss Federal Institute of Technology, Zurich (ETH Zurich), presented on March 31, 2004.

Accepted on the recommendation of Prof. Dr. Bertrand Meyer (examiner), Prof. Dr. Peter Müller (co-examiner), and Prof. Dr. Emil Sekerinski (co-examiner). It is also available from my Ph.D. web page.

Conferences

• Karine Arnout, and Raphaël Simon. The .NET Contract Wizard: Adding Design by Contract to languages other than Eiffel. TOOLS 39 (39^th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems). 29 July - 03 August 2001, Santa Barbara, CA, USA. IEEE Computer Society, p 14-23.
• Karine Arnout, and Bertrand Meyer. Contrats cachés en .NET: Mise au jour et ajout de contrats a posteriori ("Hidden contracts in .NET: Uncoverring and addition of contracts a posteriori"). LMO 2003 (Langages et Modèles à Objets). Vannes, France, 3-5 February 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, and Karine Arnout. An object-oriented library for event-driven design. Proceedings of JMLC (Joint Modular Languages Conference), Klagenfurt, Austria, 25-27 August 2003, LNCS 2789, Springer-Verlag, Eds. Laszlo Böszörmenyi, and Peter Schojer, 2003, p 174-183.
• Karine Arnout, and Bertrand Meyer. Finding Implicit Contracts in .NET Components, Proceedings of FMCO 2002 (Formal Methods for Components and Objects), Leiden, The Netherlands, 5-8 November 2002, LNCS 2852, Springer-Verlag, Eds. Frank de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, November 2003.
• Karine Arnout, and Éric Bezault. How to get a Singleton in Eiffel?. In Journal of Object-Technology (JOT), Vol.3, No.4, April 2004, Special issue: TOOLS USA 2003, p 75-95.

Journals

• Karine Arnout, and Bertrand Meyer. Uncoverring Hidden Contracts: The .NET Example, IEEE Computer, Vol.36, No.11, November 2003, p 48-55.

Magazines

• Karine Arnout. Eiffel for .NET: An Introduction. Component Developer Magazine, September-October 2002.

Posters

• Karine Arnout. Extracting Implict Contracts from .NET Libraries. OOPSLA 2002 (17^th conference on Object-Oriented Programming, Systems, Languages, and Applications), Posters, Seattle USA, 4-8 November 2002. OOPSLA'02 Companion, ACM, p 104-105.

Workshops

• Karine Arnout, and Bertrand Meyer. Extracting implicit contracts from .NET components. Microsoft Research Summer Workshop 2002, Cambridge, UK, 9-11 September 2002.
• Karine Arnout. Extracting Implicit Contracts from .NET Libraries. 4^th European GCSE Young Researchers Workshop 2002, in conjunction with NET.OBJECT DAYS 2002, Erfurt, Germany, 7-10 October 2002. IESE-Report No. 053.02/E, 21 October 2002, p 20-24.

Work in progress

• Karine Arnout, Xavier Rousselot, and Bertrand Meyer. Test Wizard: Automatic generation of test cases based on Design by Contract.
• Karine Arnout, and Bertrand Meyer. From Patterns to Components: The Visitor Library.
• Karine Arnout, and Bertrand Meyer. From Patterns to Components: The Factory Library Example.

Talks

Ph.D. defense

• From Patterns to Components, Ph.D. defense, Swiss Federal Institute of Technology, Zurich (ETH Zurich), March 31, 2004.

Technical paper presentations

• The .NET Contract Wizard: Adding Design by Contract to languages other than Eiffel. TOOLS 39 (39^th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems). 29 July - 03 August 2001, Santa Barbara, CA, USA.
• Contrats cachés en .NET: Mise au jour et ajout de contrats a posteriori ("Hidden contracts in .NET: Uncoverring and addition of contracts a posteriori"). LMO 2003 (Langages et Modèles à Objets). Vannes, France, 3-5 February 2003.

Workshops

• Extracting implicit contracts from .NET components. 1^st Microsoft ROTOR workshop, Cambridge, UK, 23-25 July 2002.
• Extracting implicit contracts from .NET components. Microsoft Research Summer Workshop 2002, Cambridge, UK, 9-11 September 2002.
• Extracting Implicit Contracts from .NET Libraries. 4^th European GCSE Young Researchers Workshop 2002, in conjunction with NET.OBJECT DAYS 2002, Erfurt, Germany, 7-10 October 2002.
• Extracting Implicit Contracts from .NET Components, Trusted Components Workshop 2003, Prato, Italy, 8-11 January 2003.
• Introduction to .NET and Eiffel for .NET, .NET: The Programmer's Perspective, Workshop part of ECOOP 2003, Darmstadt, Germany, 22 July 2003.
• Towards an international Eiffel standard: The ECMA standardization work, Eiffel Summit 2003, Santa Barbara, CA, USA, 29 September 2003.

Tutorials

• Introduction to .NET, C#, and Eiffel for .NET, Tutorial at TOOLS USA 2002, Santa Barbara, CA, USA, 28-31 July 2002.

Other activities

• I am an active member and the secretary of the ECMA Technical Group (TC39-TG4) for Eiffel standardization.
• I am a co-organizer of the GPCE Young Researchers Workshop.
• I help organizing the mountain bike tour ("Randonnée des Mimosas") that takes place the first Sunday of February on the Oléron Island (Ile d'Oléron) in France.
• I like swimming, drawing, and painting in oil.

Personal

Education

• Doctor of Sciences degree from the Swiss Federal Institute of Technology, Zurich (ETH Zurich)
• Engineer degree from the École Nationale Supérieure des Télécommunications de Bretagne
• Languages: Certificate of Proficiency in English from the University of Cambridge, Zentrale Mittelstufenprüfung (ZMP) from the Goethe Institut.

Work experience

• Trainee in the call center of Deutsche Telekom in Constance (Germany) from July to August 1999.
• "Jeune Ingénieur" at Eiffel Software (ISE) in Santa Barbara, CA, USA, from July 2000 to September 2001.
• Research and teaching assistant at ETH Zurich from April 2002 until now.

Last update: 13-Jul-2004