ETH E-Collection · ETH Institutional Repository

1. OPUS

Vetterli, Christian (1989)

Reports

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

Schoeller, Bernd (2006)

Reports

3. Relations: abstracting object collaborations

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

Reports

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

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

Reports

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

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

Reports

6. The eXtreme Design approach

Kobler, Adrian (2001)

Doctoral and Habilitation Theses

7. Formal techniques for Java-like programs

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

Reports

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

Piccioni, Marco (2012)

Doctoral and Habilitation Theses

9. Automatic testing of object-oriented software

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

Reports

10. Verification of design patterns

Hofer, Simon (2009)

Master Theses

11. Universe Types

Dietl, Werner Michael (2009)

Doctoral and Habilitation Theses

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

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

Reports

13. The relationship detector

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

Reports

14. Framework design

Riehle, Dirk (2000)

Doctoral and Habilitation Theses

15. Survey of persistence approaches

Takasaka, Shinji (2005)

Master Theses

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

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

Reports

17. On the allocation of computational objects in distributed systems

Jenny, Christian J. (1981)

Doctoral and Habilitation Theses

18. Modular invariants for layered object structures

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

Reports

19. Automatic verification of heap structures with stereotypes

Rudich, Arsenii (2011)

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. Specification and verification of closures

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

Reports

23. ODÉON

Supcik, Jacques (1999)

Doctoral and Habilitation Theses

24. COCOON and KRISYS

Laasch, Christian (1993)

Reports

25. Lazy evaluation of semantic mapping rules

Rutishauser, Jonas (2008)

Master Theses