Karine Arnout

Postadresse
Karine Arnout
Software Engineering, Meyer
ETH Zentrum, RZ J4
8092 Z ürich		 Physische Adresse
Karine Arnout
Departement Informatik
RZ Gebäude, RZ J4
Clausiusstrasse 59
8092 Z ürich

Kontakt
Karine Arnout
Tel.: +41 1 632 47 23
Fax: +41 1 632 14 35
E-mail: Karine.Arnout@inf.ethz.ch
Diese Seite:
http://se.inf.ethz.ch/people/arnout/arnout_d


Allgemeines

Ich bin Forschungsassistentin und Doktorandin bei Prof. Dr. Bertrand Meyer (Professur für Software Engineering) im Departement Informatik an der Eidgenössischen Technischen Hochschule (ETH) in Zürich.

Die Professur für Software Engineering gibt ein Online-Journal über objekt-orientierte Technologie heraus: Journal of Object Technology - JOT, http://www.jot.fm.

Forschungsarbeit

Detaillierte Informationen über meine Forschungsarbeit ersehen Sie aus meinem Forschungsplan für das Doktorat.

Meine Forschungsarbeit konzentriert sich auf objektorientierte Technologie und Komponenten, im besonderen Trusted Components und Design by Contract. Meine Interessen- und Forschungsbereiche beinhalten:

  • Eiffel: Von Juli 2000 bis September 2001 habe ich bei Eiffel Software (ISE) gearbeitet. Während dieser Periode habe ich die objektorientierte Methode und Programmiersprache Eiffel entdeckt. Ich bin jetzt Mitglied der technischen Gruppe ECMA für die Eiffel-Standardisierung.
  • .NET: Bei ISE arbeitete ich am Projekt mit, ISE Eiffel auf das .NET Framework zu portieren. Insbesondere habe ich die erste Version des Assembly Manager (der ISE Eiffel 5 enthält) geschrieben. Der Assembly Manager ermöglicht Programmiern, auf einfache Weise .NET-Komponenten in Eiffel zu integrieren. Ich habe auch am Contract Wizard gearbeitet, der erlaubt, Verträge (wie in Eiffel) zu allen .NET Komponenten hinzuzufügen (auch denen, die nicht in Eiffel geschrieben werden).

Die Themen, die ich erforschen möchte, sind:

  • Ist es möglich, Design Patterns in Komponenten umzuwandeln?
  • Enthalten .NET Komponenten implizite Verträge (z.B. Kommentare)? Wäre das allgemeine Design der .NET Komponenten anders, wenn das Framework Verträge unterstützen würde?
  • Was ist die Korrelation zwischen Testen und Design by Contract? Können Verträge helfen, Test-Suiten automatisch zu generieren?

Unterricht

Kurse

Student projects (Semester-/Diplomarbeiten)

Publikationen

Konferenzen

    
  • TOOLS
    • Karine Arnout, Raphaël Simon. "The .NET Contract Wizard: Adding Design by Contract to languages other than Eiffel", IEEE Computer Society, TOOLS 39, Santa Barbara, USA - Juli 2001, S. 14-23.
 HTML Version
Artikel (PDF)
  • OOPSLA (Poster)
    • "Extracting Implicit Contracts from .NET Libraries", OOPSLA 2002 (17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications), Seattle USA, 4-8 November 2002, OOPSLA'02 Companion, ACM, S. 104-105.
 Kurzfassung (PDF)
Poster
  • FMCO
    • Karine Arnout, Bertrand Meyer. "Finding Implicit Contracts in .NET Components", to appear in Formal Methods for Components and Objects (FMCO), eds. Frank de Boer et al., Springer-Verlag, 2003.
 Artikel (PDF)
  • LMO
    • Karine Arnout, Bertrand Meyer. "Contrats cachés en .NET: Mise au jour et ajout de contrats a posteriori", LMO 2003 (Langages et Modèles Objets), Vannes, Frankreich, 3.-5. Februar 2003, Revue des Sciences et Technologies de l'Information (RTSI), série L'objet, volume 9, Hermès, 2003.
  
  • JMLC
    • Volkan Arslan, Piotr Nienaltowski und Karine Arnout. "Event library: an object-oriented library for event-driven design". (Ereignis-Bibliothek: Eine objekt-orientierte Bibliothek für Ereignis gesteuertes Design). JMLC (Joint Modular Languages Conference), Klagenfurt (Österreich), 25-27 August 2003.
   Artikel (PDF)

Workshops

  
  • Microsoft Summer Research Workshop 2002
    • Karine Arnout, Bertrand Meyer. "Extracting implicit contracts from .NET components", Microsoft Summer Research Workshop, 9.-11. September 2002, Cambridge, UK.
   Artikel (PDF)
Folien (PDF)
  • GCSE Young Researchers Workshop 2002
    • "Extracting implicit contracts from .NET libraries", GCSE Young Researchers Workshop, NET.OBJECT DAYS, 7.-10. Oktober 2002, Erfurt, Deutschland.
   Artikel (PDF)
Folien (PDF)

Magazine

  
  • CoDe magazine
    • "Eiffel for .NET: An Introduction", CoDe magazine, September - Oktober 2002.
   Artikel

Zeitungen

  
  • IEEE Computer
    • "Uncovering Hidden Contracts: The .NET Example" (Implizite Verträge: das .NET Beispiel).
 
Artikel (PDF)
  • JOT (Journal of Object Technology)
    • Karine Arnout und Éric Bezault. "How to get a Singleton in Eiffel?" (Wie kann man ein Singleton in Eiffel haben?). Der Artikel wird in JOT (April 2004) publiziert.
   Artikel (PDF)

Tutorials

Konferenzen

  
  • TOOLS
    • "Introduction to .NET, C#, and Eiffel for .NET", TOOLS USA 2002, Santa Barbara, 28.-31. Juli 2002.
Folien (PDF)
  Folien (PDF)

Workshops

  
  Folien (PDF)
  • ECOOP
    • "Introduction to .NET and Eiffel for .NET", .NET: The Programmer's Perspective, Workshop ECOOP 2003, Darmstadt, 22 Juli 2003.
  Folien (PDF)

Aktuelle Arbeitsthemen

Transformation von Design Patterns in wiederverwendbare Komponenten

  
  • Karine Arnout und Bertrand Meyer. "From Design Patterns to Reusable Components: The Factory Library" (Von Design Patterns zu wiederverwendbaren Komponenten: Die Factory-Bibliothek). Zur Publikation eingereicht.
   Artikel (PDF)

Automatische Generierung von Test-Suiten basiert auf Verträgen

  
  • Karine Arnout, Xavier Rousselot, and Bertrand Meyer. "Test Wizard: Automatic generation of test cases based on Design by Contract".
   Artikel (PDF)

Kovarianz

  
  • Mark Howard, Éric Bezault, Bertrand Meyer, Dominique Colnet, Emmanuel Stapf, Karine Arnout und Markus Keller. "Type-safe covariance: Competent Compilers Can Catch All Catcall". Part of ongoing ECMA standards work for Eiffel.
   Artikel (PDF)

Andere Aktivitäten

  • Ich bin Mitglied in einer technischen Arbeitsgruppe der ECMA (TC39-TG4) für die Eiffel-Standardisierung.
  • Ich bin Mitorganisatorin des Young Researchers Workshops, der in Erfurt (Deutschland) stattfindet.
  • Mithilfe bei der Organisation der Mountainbike-Tour ("Randonnée des Mimosas"), die im Februar auf der Insel Oléron (Ile d'Oléron) in Frankreich stattfand

Persönliches

Ausbildung: Ingenieurin der École Nationale Supérieure des Télécommunications de Bretagne, Certificate of Proficiency in English der Universität Cambridge, Zentrale Mittelstufenprüfung (ZMP) des Goethe Instituts.

Berufserfahrung: Praktikantin bei der Deutschen Telekom, Niederlassung Konstanz - Deutschland (Call Center) von Juli bis August 1999, dann "Jeune Ingénieur" bei ISE im Santa Barbara, Kalifornien, USA, von Juli 2000 bis September 2001.

 

 


Letzte Aktualisierung: 30. January 2004