ETH E-Collection · ETH Institutional Repository

1. Die Bedingungen für Ehrenamtlichkeit in der Institution Sportverband

Berger, Beat (2002)

Master Theses

2. OPUS

Vetterli, Christian (1989)

Reports

3. Eiffel10: an object-oriented language with dynamic frame contracts

Schoeller, Bernd (2006)

Reports

4. Relations: abstracting object collaborations

Balzer, Stephanie, Eugster, Patrick and Gross, Thomas R.

Reports

5. An IDE-based solution for schema evolution of object-oriented software

Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand and Schneider, Teseo (2009)

Reports

6. An IDE-based, integrated solution to Schema Evolution of Object-Oriented Software

Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand and Schneider, Teseo (2009)

Reports

7. The eXtreme Design approach

Kobler, Adrian (2001)

Doctoral and Habilitation Theses

8. Formal techniques for Java-like programs

Eisenbach, Susan, Leavens, Gary T., Müller, Peter, Poetzsch-Heffter, Arnd and Poll, Erik (2003)

Reports

9. A seamless framework for object-oriented persistence in presence of class schema evolution

Piccioni, Marco (2012)

Doctoral and Habilitation Theses

10. Einarbeitungsprozesse

Kuster, Werner (1968)

Doctoral and Habilitation Theses

11. Automatic testing of object-oriented software

Meyer, Bertrand, Ciupa, Ilinca, Leitner, Andreas and Liu, Lisa (Ling)

Reports

12. On the allocation of computational objects in distributed systems

Jenny, Christian J. (1981)

Doctoral and Habilitation Theses

13. Modular invariants for layered object structures

Müller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2005)

Reports

14. Automatic verification of heap structures with stereotypes

Rudich, Arsenii (2011)

Doctoral and Habilitation Theses

15. Verification of design patterns

Hofer, Simon (2009)

Master Theses

16. Universe Types

Dietl, Werner Michael (2009)

Doctoral and Habilitation Theses

17. Modular verification of global module invariants in object-oriented programs

Leino, K. Rustan M. and Müller, Peter (2004)

Reports

18. The relationship detector

Burns, Alexandra, Balzer, Stephanie and Gross, Thomas K.R. (2006)

Reports

19. Framework design

Riehle, Dirk (2000)

Doctoral and Habilitation Theses

20. First International Workshop on Property Verification for Software Components and Services, ProVeCS, ETH, Zürich, June 24th, 2007 (Satellite of TOOLS Europe)

Attiogbé, C. (2007)

Reports

21. A temporal extension to a generic object data model

Steiner, Andreas and Norrie, Moira (1997)

Reports

22. Survey of persistence approaches

Takasaka, Shinji (2005)

Master Theses

23. Specification and verification of closures

Kassios, Ioannis T. and Müller, Peter (2010)

Reports

24. Objects in context: an empirical study of object relationships

Balzer, Stephanie, Burns, Alexandra and Gross, Thomas R.

Reports

25. Management des Wissens über Kundenbedürfnisse in den frühen Phasen des Innovationsprozesses

Iten, Pascal Lukas (2002)

Doctoral and Habilitation Theses